Correctness of unification without occur check in prolog

DOI10.1016/0743-1066(94)90048-5zbMath0794.68021OpenAlexW2084591797MaRDI QIDQ4285641

Ritu Chadha, David Alan Plaisted

Publication date: 17 April 1994

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(94)90048-5

zbMATH Keywords

Prologoccur checkunification algorithms

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Verification of logic programs with delay declarations ⋮ A relaxed condition for avoiding the occur-check

This page was built for publication: Correctness of unification without occur check in prolog