The witness properties and the semantics of the Prolog cut

DOI10.1017/S1471068402001540MaRDI QIDQ4452589zbMATH OpenOpenAlexFDO

Authors James Andrews

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068402001540

zbMATH Keywords

depth-first searchnegation as failureoperational semanticsabstract semanticscut.

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Comparative semantics for prolog with cut
• Simple operational and denotational semantics for Prolog with cut
• Semantics for Prolog with cut -- revisited
• A prescribed cut for Prolog that ensures soundness
• scientific article; zbMATH DE number 4078852

Cited in

(4)

• Witnesses for Answer Sets of Logic Programs
• A structured alternative to Prolog with simple compositional semantics
• Proving completeness of logic programs with the cut
• Evolution of rule-based programs

Describes a project that uses

Uses Software

• Mercury

This page was built for publication: The witness properties and the semantics of the Prolog cut

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