A rewrite mechanism for logic programs with negation

DOI10.1016/S0304-3975(97)00146-1zbMath0895.68076MaRDI QIDQ1127337

Siva Anantharaman, Gilles Richard

Publication date: 13 August 1998

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

zbMATH Keywords

rewrite systemconstraintsnegationlogic programlinear completion

Mathematics Subject Classification ID

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

Related Items (1)

A rewrite approach for constraint logic programming

Cites Work

• Unnamed Item
• 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

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