×

CR-Prolog as a specification language for constraint satisfaction problems. (English) Zbl 1258.68025

Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 402-408 (2009).
Summary: In this paper we describe an approach for integrating CR-Prolog and constraint programming in which CR-Prolog is viewed as a specification language for constraint satisfaction problems. Differently from other methods of integrating ASP and constraint programming, our approach has the advantage of allowing the use of off-the-shelf, unmodified ASP solvers and constraint solvers, and of global constraints, which substantially increases practical applicability.
For the entire collection see [Zbl 1175.68008].

MSC:

68N17 Logic programming
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Software:

ezcsp; Clingcon
PDFBibTeX XMLCite
Full Text: DOI