Comparative semantics for prolog with cut
From MaRDI portal
Publication:920622
DOI10.1016/0167-6423(90)90072-LzbMath0708.68034MaRDI QIDQ920622
Publication date: 1990
Published in: Science of Computer Programming (Search for Journal in Brave)
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (3)
Proving completeness of logic programs with the cut ⋮ From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic ⋮ Comparative semantics for flow of control in logic programming without logic
This page was built for publication: Comparative semantics for prolog with cut
