A rewrite mechanism for logic programs with negation

DOI10.1007/3-540-59200-8_55zbMath1503.68032OpenAlexW2126097543MaRDI QIDQ5055829

Gilles Richard, Siva Anantharaman

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59200-8_55

zbMATH Keywords

rewrite systemconstraintsnegationlogic programlinear completion

Mathematics Subject Classification ID

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

Related Items (1)

A rewrite mechanism for logic programs with negation

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 mechanism for logic programs with negation

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