Comparative semantics for prolog with cut

DOI10.1016/0167-6423(90)90072-LMaRDI QIDQ920622zbMATH OpenFDO

Authors Erik de Vink

Publication date 1990

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(90)90072-L

zbMATH Keywords

Cutdenotational semanticsequivalenceflow-of-controlmetric domainoperational semanticsProlog

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Simple operational and denotational semantics for Prolog with cut
• Operational and goal-independent denotational semantics for Prolog with cut
• Denotational and operational semantics for prolog
• Semantics for Prolog with cut -- revisited
• Two congruent semantics for Prolog with CUT

Cited in

(24)

• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
• Oracle semantics for Prolog
• scientific article; zbMATH DE number 4215379 (Why is no real title available?)
• A deterministic prolog fixpoint semantics
• Operational and denotational semantics of prolog
• Denotational and operational semantics for prolog
• scientific article; zbMATH DE number 4078852 (Why is no real title available?)
• A comparison of three PROLOG extensions
• 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
• A linear operational semantics for termination and complexity analysis of ISO prolog
• Internal and Interval Semantics for CP-Comparatives
• Operational and goal-independent denotational semantics for Prolog with cut
• scientific article; zbMATH DE number 1407676 (Why is no real title available?)
• Proving completeness of logic programs with the cut
• Semantics for Prolog with cut -- revisited
• A non-definability result for a predicational language with the usual control
• A semantics-based determinacy analysis for Prolog with cut
• Two congruent semantics for Prolog with CUT
• Comparative semantics for flow of control in logic programming without logic
• Simple operational and denotational semantics for Prolog with cut
• Comparative metric semantics for concurrent PROLOG

This page was built for publication: Comparative semantics for prolog with cut

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