An algebraic perspective of constraint logic programming

DOI10.1093/LOGCOM/7.1.1MaRDI QIDQ2785838zbMATH OpenOpenAlexFDO

Authors Alessandra Di Pierro, Catuscia Palamidessi, Frank S. de Boer

Publication date 21 April 1997

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4240e2e46bc568a89e55abf9a076411e531f15c0

zbMATH Keywords

constraint logic programmingcylindric algebrascylindric Heyting algebra

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 970715
• Generalized semantics and abstract interpretation for constraint logic programs
• Negation and constraint logic programming
• Observable Semantics for Constraint Logic Programs
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Cited in

(9)

• Confluence in concurrent constraint programming
• Alloy*: a general-purpose higher-order relational constraint solver
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section
• Algèbres effectives dans la programmation logique avec contraintes
• scientific article; zbMATH DE number 1420826 (Why is no real title available?)
• On the expressiveness of spatial constraint systems
• A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
• scientific article; zbMATH DE number 970715 (Why is no real title available?)

This page was built for publication: An algebraic perspective of constraint logic programming

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