Sciweavers

ERSHOV
2006
Springer

Solution Strategies for Multi-domain Constraint Logic Programs

13 years 7 months ago
Solution Strategies for Multi-domain Constraint Logic Programs
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approach easily yields a CLP language with support for solver cooperation. Applying the strategy definition framework of Meta-S we define classical search strategies and more sophisticated ones, that allow an efficient evaluation of multi-domain constraint logic programs.
Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where ERSHOV
Authors Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann
Comments (0)