Correctness of unification without occur check in prolog
- 28 February 1994
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 18 (2) , 99-122
- https://doi.org/10.1016/0743-1066(94)90048-5
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Why the occur-check is not a problemPublished by Springer Nature ,2005
- Functional computations in logic programsACM Transactions on Programming Languages and Systems, 1989
- Static inference of modes and data dependencies in logic programsACM Transactions on Programming Languages and Systems, 1989
- The occur-check problem revisitedThe Journal of Logic Programming, 1988
- Relating logic programs and attribute grammarsThe Journal of Logic Programming, 1985
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985
- The occur-check problem in PrologNew Generation Computing, 1984
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965