Program constructs

Applied Filters

People

Publications

Conferences

Publication Date

1 Results for: Book/Issue: Logic-Based Program Synthesis and TransformationEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,826,055 records)|Limit your search to The ACM Full-Text Collection (772,627 records)

Showing 1 - 1of1 Results

Select All

Export Citations Save to Binder

per page:

Recency

Article
September 2024
Improving Logic Programs by Adding Functions
- Michael Hanus
Logic-Based Program Synthesis and TransformationPages 27–44https://doi.org/10.1007/978-3-031-71294-4_2
Abstract
Logic programming is based on defining relations. Functions are often considered as syntactic sugar which can be transformed into predicates so that their logic is not used for computational purposes. In this paper, we present a method to use ...
0
Metrics
Total Citations0