Le Fun: Logic, equations, and Functions (1987)

by Hassan Aït-kaci , Patrick Lincoln , Roger Nasr
Venue:In Proc. 4th IEEE Internat. Symposium on Logic Programming
Citations:44 - 1 self

Documents Related by Co-Citation

35 An Overview of LIFE – Hassan Aït-Kaci, Rueil-malmaison Cedex, Pierre Berloquin - 1991
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
294 The Oz Programming Model – Gert Smolka - 1995
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
38 Adding equations to NU-Prolog – Lee Naish - 1991
92 SLOG: A logic programming language interpreter based on clausal superposition and rewriting – L Fribourg - 1985
17 S-SLD-resolution - An Operational Semantics for Logic Programs with External Procedures – Johan Boye - 1991
63 Optimal Non-Deterministic Functional Logic Computations – Sergio Antoy - 1298
153 Definitional Trees – Sergio Antoy - 1992
160 Logic Programming with Functions and Predicates: The Language BABEL – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
12 Analysis of Residuating Logic Programs – M Hanus - 1995
110 Narrowing as the operational semantics of functional languages", Unpublished report – U Reddy - 1985
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
108 Kernel LEAF: a logic plus functional language, The – E Giovannetti, G Levi, C Moiso, C Palamidessi - 1991
442 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
1312 Monads for functional programming – Philip Wadler - 1995
30 Towards a Clean Amalgamation of Logic Programs with External Procedures – S Bonnier, J Maluszynski - 1988
35 Combining Functional and Logic Programming Languages – J Lloyd - 1994