Integration of Declarative and Constraint Programming

Combining a set of existing constraint solvers into an integ rated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate differ ent language paradigms into a unified framework. Furthermore, we study the syntacti c, semantic and operational impacts of this idea for the amalgamation of declarative and constraint programming. To appear in Theory and Practice of Logic Programming (TPLP).