Integration of Declarative and Constraint Programming

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
30 pages, 9 figures, To appear in Theory and Practice of Logic Programming (TPLP)

Keywords

Programming Languages, Artificial Intelligence, D.3.2

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/104423

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0511090
 http://arxiv.org/abs/cs/0511090

Collections

arXiv