SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Le Fun: Logic, Equations, and Functions
 by Dr. Patrick Lincoln, Hassan Ait-Kaci & Roger Nasr.

October, 1986.


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 com- putation 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 com- parisons (inequalities). We describe an implementation of the residuation paradigm as a prototype language called Le FunóLogic, equations, and Functions.
BibTEX Entry
@inproceedings{slp88,
    AUTHOR = {Hassan Ait-Kaci and Patrick Lincoln and and Roger Nasr},
    TITLE = {Le Fun: Logic, Equations, and Functions},
    YEAR = {1986},
    MONTH = {October},
    URL = {http://www.csl.sri.com/papers/slp88/}
}

Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy