## 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}

}

### 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.