Ask & Tell Linear Constraints in Constraint Logic Programming


Author(s)
P. Refalo
LIM, URA CNRS 1787
Daculte des sciences de Luminy
13009 Marseille, France
refalo@lim.univ-mrs.fr

Abstract
This article adresses the problem of linear constraint entailment in constraint logic programming. After a brief overview of linear constraint solving, two forms for ask constraints are introduced that simplifies the entailment test. The incremental algorithms are also described and has been integrated to a CLP language. Practical experiments with operation research problems show that substantial reductions of the search tree and of the computation time are obtained.