The integration of functions into logic programming: From theory to practice
- 31 July 1994
- journal article
- review article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 19-20, 583-628
- https://doi.org/10.1016/0743-1066(94)90034-5
Abstract
No abstract availableKeywords
This publication has 87 references indexed in Scilit:
- Logic programming with functions and predicates: The language BabelThe Journal of Logic Programming, 1992
- A domain-theoretic approach to functional and logic programmingJournal of Functional Programming, 1992
- Kernel-LEAF: A logic plus functional languageJournal of Computer and System Sciences, 1991
- A completion procedure for conditional equationstJournal of Symbolic Computation, 1991
- Global compilation of prologThe Journal of Logic Programming, 1989
- Complete sets of transformations for general E-unificationTheoretical Computer Science, 1989
- Logic programming with equationsThe Journal of Logic Programming, 1987
- The relation between logic and functional languages: a surveyThe Journal of Logic Programming, 1986
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985
- A theory of complete logic programs with equalityThe Journal of Logic Programming, 1984