Operational and goal-independent denotational semantics for Prolog with cut
From MaRDI portal
Publication:4934231
DOI10.1016/S0743-1066(99)00012-6zbMath0948.68030MaRDI QIDQ4934231
Publication date: 22 November 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (3)
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics ⋮ Proving completeness of logic programs with the cut ⋮ A theory of observables for logic programs
This page was built for publication: Operational and goal-independent denotational semantics for Prolog with cut
