DMCA
Le Fun: Logic, equations, and Functions (1987)
Cached
Download Links
| Venue: | In Proc. 4th IEEE Internat. Symposium on Logic Programming |
| Citations: | 44 - 1 self |
BibTeX
@INPROCEEDINGS{Aït-kaci87lefun:,
author = {Hassan Aït-kaci and Patrick Lincoln and Roger Nasr},
title = {Le Fun: Logic, equations, and Functions},
booktitle = {In Proc. 4th IEEE Internat. Symposium on Logic Programming},
year = {1987},
pages = {17--23}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract † We introduce a new paradigm for the integration of functional and logic programming. Unlike most current research, our approach is not based on extending unification to general-purpose equation solving. Rather, we propose a computation delaying mechanism called residuation. This allows a clear distinction between functional evaluation and logical deduction. The former is based on the λ-calculus, and the latter on Horn clause resolution. In clear contrast with equation-solving approaches, our model supports higher-order function evaluation and efficient compilation of both functional and logic programming expressions, without being plagued by non-deterministic term-rewriting. In addition, residuation lends itself naturally to process synchronization and constrained search. Besides unification (equations), other residuations may be any ground-decidable goal, such as mutual exclusion (inequations), and comparisons (inequalities). We describe an implementation of the residuation paradigm as a prototype language called Le Fun—Logic, equations, and Functions.
Keyphrases
le fun le fun logic prototype language logic programming clear distinction new paradigm logical deduction functional evaluation non-deterministic term-rewriting current research higher-order function evaluation clear contrast equation-solving approach logic programming expression mutual exclusion residuation paradigm ground-decidable goal general-purpose equation horn clause resolution efficient compilation
