Extended unification algorithms for the integration of functional programming into logic programming
- 1 September 1987
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 4 (3) , 199-227
- https://doi.org/10.1016/0743-1066(87)90002-1
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Modelling the combination of functional and logic programming languagesJournal of Symbolic Computation, 1986
- Automating control for logic programsThe Journal of Logic Programming, 1985
- On the correspondence between two classes of reduction systemsInformation Processing Letters, 1985
- A theory of complete logic programs with equalityThe Journal of Logic Programming, 1984
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Oriented equational clauses as a programming languageThe Journal of Logic Programming, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 1967
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965