The occur-check problem revisited

From MaRDI portal

Publication:3792216

Jump to:navigation, search

DOI10.1016/0743-1066(88)90012-XzbMath0647.68011MaRDI QIDQ3792216

Joachim Beer

Publication date: 1988

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

zbMATH Keywords

occur-check execution of Prolog programs

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (2)

A relaxed condition for avoiding the occur-check ⋮ C-expressions: A variable-free calculus for equational logic programming

This page was built for publication: The occur-check problem revisited

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3792216&oldid=17353016"

Pages with script errors