Integration of Declarative and Constraint Programming
Programming Languages
2007-05-23 v2 Artificial Intelligence
Abstract
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.
Cite
@article{arxiv.cs/0511090,
title = {Integration of Declarative and Constraint Programming},
author = {Petra Hofstedt and Peter Pepper},
journal= {arXiv preprint arXiv:cs/0511090},
year = {2007}
}
Comments
30 pages, 9 figures, To appear in Theory and Practice of Logic Programming (TPLP)