A fixed point semantics for logic programs extended with cuts

DOI10.1007/3-540-45013-0_18zbMATH Open1278.68055OpenAlexW1543300635MaRDI QIDQ3079915FDOQ3079915

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Closures and fairness in the semantics of programming logic
• Optimal fixedpoints of logic programs
• Title not available (Why is that?)
• Semantics of fixed points for annotated programs. A realization by Mho-resolution
• A deterministic prolog fixpoint semantics

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)