The witness properties and the semantics of the Prolog cut

DOI10.1017/S1471068402001540zbMATH Open1087.68525OpenAlexW2193302029MaRDI QIDQ4452589FDOQ4452589

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)

Cited In (4)

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

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)