Eliminating negation from normal logic programs

DOI10.1007/3-540-53162-9_41zbMath1493.68071OpenAlexW1533155510MaRDI QIDQ5096198

Peter J. Stuckey, Kanchana Kanchanasut

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_41

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Transforming normal logic programs to constraint logic programs ⋮ A compositional semantics for logic programs

Cites Work

• Unnamed Item
• Unnamed Item
• Making prolog more expressive
• Canonical logic programs
• A procedural semantics for well-founded negation in logic programs
• The Semantics of Predicate Logic as a Programming Language
• A transformational approach to negation in logic programming

This page was built for publication: Eliminating negation from normal logic programs