A rewrite mechanism for logic programs with negation

DOI10.1016/S0304-3975(97)00146-1zbMATH Open0895.68076MaRDI QIDQ1127337FDOQ1127337

Authors: Siva Anantharaman, Gilles Richard 

Publication date: 13 August 1998

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

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

zbMATH Keywords

constraintsnegationlogic programlinear completionrewrite system

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A kripke-kleene semantics for logic programs*
• Negation in logic programming
• On rewrite programs: Semantics and relationship with prolog
• A rewrite approach for constraint logic programming

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
• Theoretical Aspects of Computing - ICTAC 2004
• Eliminating negation from normal logic programs
• 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)