Logic programming with functions and predicates: The language Babel
- 1 February 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 12 (3) , 191-223
- https://doi.org/10.1016/0743-1066(92)90024-w
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Universal unification and a classification of equational theoriesPublished by Springer Nature ,2005
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Complete sets of transformations for general E-unificationTheoretical Computer Science, 1989
- The family of concurrent logic programming languagesACM Computing Surveys, 1989
- Conception, evolution, and application of functional programming languagesACM Computing Surveys, 1989
- Logic programming with equationsThe Journal of Logic Programming, 1987
- Extended unification algorithms for the integration of functional programming into logic programmingThe Journal of Logic Programming, 1987
- The relation between logic and functional languages: a surveyThe Journal of Logic Programming, 1986
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Domains for denotational semanticsPublished by Springer Nature ,1982