Affiliations: CWI, P.O. Box 94079, NL-1090 GB, Amsterdam, the Netherlands. e-mail: [email protected] | LORIA - INRIA, 615 rue du Jardin Botanique, BP 101, 54602 Villers-lès-Nancy Cedex, France. e-mail: [email protected]
Note: [] Address for correspondence: CWI, P.O. Box 94079, NL-1090 GB, Amsterdam, the Netherlands
Note: [] Address for correspondence: LORIA - INRIA, 615 rue du Jardin Botanique, BP 101, 54602 Villers-lès-Nancy Cedex, France
Abstract: In declarative programming languages based on the constraint programming paradigm, computations can be viewed as deductions enhanced with the use of constraint solvers. However, admissible constraints are restricted to formulae handled by solvers and thus, declarativity may be jeopardized. We propose a domain-independent scheme to extend constraint solvers so that they can handle alien constraints, i.e., constraint involving new function symbols. This mechanism, called SoleX, consists of a set of symbolic rule-based transformations: they add and deduce syntactical as well as semantic information related to alien constraints, complete the computation domain, and purify constraints in order to allow solvers to cope with alien constraints. These transformations can be seen as elementary solvers, and thus, SoleX is a collaboration of these several solvers with the initial solver. Some extensions of computation domains have already been studied to demonstrate the broad scope of SoleX potential applications.
