Integration of Declarative and Constraint Programming
<|reference_start|>Integration of Declarative and Constraint Programming: Combining a set of existing constraint solvers into an integrated 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 different language paradigms into a unified framework. Furthermore, we study the syntactic, semantic and operational impacts of this idea for the amalgamation of declarative and constraint programming.<|reference_end|>
@article{hofstedt2005integration,
    title={Integration of Declarative and Constraint Programming},
    author={Petra Hofstedt, Peter Pepper},
    journal={arXiv preprint arXiv:cs/0511090},
    year={2005},
    archivePrefix={arXiv},
    eprint={cs/0511090},
    primaryClass={cs.PL cs.AI}
}