Simple operational and denotational semantics for Prolog with cut
From MaRDI portal
Recommendations
Cites work
Cited in
(23)- An operational formal definition of PROLOG: A specification method and its application
- Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
- A denotational semantics and dataflow construction for logic programs
- A logical semantics for depth-first Prolog with ground negation
- scientific article; zbMATH DE number 4215379 (Why is no real title available?)
- Operational and denotational semantics of prolog
- Denotational and operational semantics for prolog
- scientific article; zbMATH DE number 4078852 (Why is no real title available?)
- scientific article; zbMATH DE number 65740 (Why is no real title available?)
- A prescribed cut for Prolog that ensures soundness
- scientific article; zbMATH DE number 490755 (Why is no real title available?)
- scientific article; zbMATH DE number 516993 (Why is no real title available?)
- The witness properties and the semantics of the Prolog cut
- Operational and goal-independent denotational semantics for Prolog with cut
- Axiomatizations of backtracking
- Proving completeness of logic programs with the cut
- Prolog's control constructs in a functional setting -- axioms and implementation
- A non-definability result for a predicational language with the usual control
- Backtracking with cut via a distributive law and left-zero monoids
- Is there an axiomatic semantics for standard pure Prolog?
- Two congruent semantics for Prolog with CUT
- Comparative semantics for flow of control in logic programming without logic
- Comparative semantics for prolog with cut
This page was built for publication: Simple operational and denotational semantics for Prolog with cut
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q912643)
