From Boolean equalities to constraints

DOI10.1007/978-3-319-27436-2_5MaRDI QIDQ5743586zbMATH OpenOpenAlexFDO

Authors Sergio Antoy, Michael Hanus

Publication date 5 February 2016

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://pdxscholar.library.pdx.edu/compsci_fac/135

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Transforming Boolean equalities into constraints
• A proposal for disequality constraints in Curry
• Logic programming with equations
• scientific article; zbMATH DE number 4043302
• Unification modulo an equality theory for equational logic programming

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A needed narrowing strategy
• Abstract diagnosis of functional programs
• Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 3679159 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• Operational semantics for declarative multi-paradigm languages

Cited in

(6)

• Transforming Boolean equalities into constraints
• A proposal for disequality constraints in Curry
• Constraints in non-Boolean contexts
• scientific article; zbMATH DE number 1140620 (Why is no real title available?)
• scientific article; zbMATH DE number 1948177 (Why is no real title available?)
• Quantified Equality Constraints

Describes a project that uses

Uses Software

• Haskell
• KiCS2
• Curry
• PAKCS

This page was built for publication: From Boolean equalities to constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5743586)