Transforming normal logic programs to constraint logic programs

DOI10.1016/0304-3975(92)90286-OzbMath0757.68029MaRDI QIDQ1200979

Kanchana Kanchanasut, Peter J. Stuckey

Publication date: 16 January 1993

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

zbMATH Keywords

program transformationconstraint logic programsnormal logic program

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (2)

S-semantics for logic programming: a retrospective look ⋮ Backdoors to tractable answer set programming

Cites Work

• Unnamed Item
• Unnamed Item
• Negation and control in PROLOG
• Making prolog more expressive
• A kripke-kleene semantics for logic programs*
• Canonical logic programs
• Negation in logic programming
• 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
• Eliminating negation from normal logic programs

This page was built for publication: Transforming normal logic programs to constraint logic programs