Integration of declarative and constraint programming

DOI10.1017/S1471068406002833zbMath1112.68030MaRDI QIDQ3430666

Peter Pepper, Petra Hofstedt

Publication date: 23 March 2007

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

zbMATH Keywords

constraintsdeclarative languagescooperative constraint solvinglanguage integrationmultiparadigm constraint programming languages

Mathematics Subject Classification ID

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

Related Items (3)

On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP ⋮ Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation ⋮ A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Uses Software

• BABEL

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