Simple operational and denotational semantics for Prolog with cut
From MaRDI portal
Publication:912643
DOI10.1016/0304-3975(90)90197-PzbMath0698.68069MaRDI QIDQ912643
Publication date: 1990
Published in: Theoretical Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Axiomatizations of backtracking ⋮ A logical semantics for depth-first Prolog with ground negation ⋮ Backtracking with cut via a distributive law and left-zero monoids ⋮ An operational formal definition of PROLOG: A specification method and its application ⋮ Proving completeness of logic programs with the cut ⋮ PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION ⋮ Is there an axiomatic semantics for standard pure Prolog? ⋮ A denotational semantics and dataflow construction for logic programs
Cites Work
This page was built for publication: Simple operational and denotational semantics for Prolog with cut