Integration of declarative and constraint programming

DOI10.1017/S1471068406002833MaRDI QIDQ3430666zbMATH OpenFDO

Authors Petra Hofstedt, Peter Pepper

Publication date 23 March 2007

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068406002833

zbMATH Keywords

constraintscooperative constraint solvingdeclarative languageslanguage integrationmultiparadigm constraint programming languages

Mathematics Subject Classification ID

Theory of software (68N99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Declarative compilation for constraint logic programming
• scientific article; zbMATH DE number 1045433
• scientific article; zbMATH DE number 1045436
• Constraint Programming
• Integrating answer set programming and constraint logic programming
• Frontiers of Combining Systems
• Concurrent and reactive constraint programming
• scientific article; zbMATH DE number 2080550

Cited in

(10)

• Basic paradigms of programming
• scientific article; zbMATH DE number 1696803 (Why is no real title available?)
• A proposal for the cooperation of solvers in constraint functional logic programming
• On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
• scientific article; zbMATH DE number 1140687 (Why is no real title available?)
• scientific article; zbMATH DE number 1954161 (Why is no real title available?)
• CLAIRE: combining sets, search and rules to better express algorithms
• scientific article; zbMATH DE number 1389653 (Why is no real title available?)
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
• scientific article; zbMATH DE number 970727 (Why is no real title available?)

Describes a project that uses

Uses Software

• BABEL

This page was built for publication: Integration of declarative and constraint programming

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