A fixed point semantics for logic programs extended with cuts

DOI10.1007/3-540-45013-0_18MaRDI QIDQ3079915zbMATH OpenOpenAlexFDO

Authors Wim Van Hoof, Remko Tronçon, Maurice Bruynooghe

Publication date 4 March 2011

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://lirias.kuleuven.be/handle/123456789/125440

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 709760
• scientific article; zbMATH DE number 176721
• Two congruent semantics for Prolog with CUT
• Semantics for Prolog with cut -- revisited
• A fixpoint semantics for disjunctive logic programs

Cited in

(8)

• Optimal fixedpoints of logic programs
• Semantics of fixed points for annotated programs. A realization by Mho-resolution
• A deterministic prolog fixpoint semantics
• scientific article; zbMATH DE number 709760 (Why is no real title available?)
• Resultant semantics for prolog
• Closures and fairness in the semantics of programming logic
• Is there an axiomatic semantics for standard pure Prolog?
• Two congruent semantics for Prolog with CUT

This page was built for publication: A fixed point semantics for logic programs extended with cuts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3079915)