A rewrite mechanism for logic programs with negation

DOI10.1007/3-540-59200-8_55zbMATH Open1503.68032OpenAlexW2126097543MaRDI QIDQ5055829FDOQ5055829

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

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

Cited In (3)

• Rewriting Guarded Negation Queries
• A rewrite mechanism for logic programs with negation
• Theoretical Aspects of Computing - ICTAC 2004

Recommendations

• A transformational approach to negation in logic programming 👍 👎
• A procedural semantics for well-founded negation in logic programs 👍 👎
• A rewrite mechanism for logic programs with negation 👍 👎
• A rewrite approach for constraint logic programming 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q5055829)