A Note on Occur-Check
- 17 September 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 345, 54-67
- https://doi.org/10.4204/eptcs.345.17
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Logic + control: On program construction and verificationTheory and Practice of Logic Programming, 2017
- A pearl on SAT and SMT solving in PrologTheoretical Computer Science, 2012
- Verification of logic programs with delay declarationsLecture Notes in Computer Science, 1995
- On the occur-check-free PROLOG programsACM Transactions on Programming Languages and Systems, 1994
- Correctness of unification without occur check in prologThe Journal of Logic Programming, 1994
- Warren's Abstract MachinePublished by MIT Press ,1991
- Fundamental properties of infinite treesTheoretical Computer Science, 1983