A rewrite mechanism for logic programs with negation

DOI10.1016/S0304-3975(97)00146-1MaRDI QIDQ1127337zbMATH OpenFDO

Authors Siva Anantharaman, Gilles Richard

Publication date 13 August 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

constraintsnegationlogic programlinear completionrewrite system

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• A rewrite mechanism for logic programs with negation
• Answer Synthesis for CLP Programs with Negation
• Computing with rewrite systems
• On rewrite programs: Semantics and relationship with prolog

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*
• A rewrite approach for constraint logic programming
• Negation in logic programming
• On rewrite programs: Semantics and relationship with prolog

Cited in

(10)

• A rewrite approach for constraint logic programming
• Rewriting Guarded Negation Queries
• Recycling computed answers in rewrite systems for abduction
• A rewrite mechanism for logic programs with negation
• Logic Programming
• Eliminating negation from normal logic programs
• Theoretical Aspects of Computing - ICTAC 2004
• Answer Synthesis for CLP Programs with Negation
• Transforming normal logic programs to constraint logic programs
• On rewrite programs: Semantics and relationship with prolog

This page was built for publication: A rewrite mechanism for logic programs with negation

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