Projecting CLP R constraints

Abstract

The presentation of constraints in a usable form is an essential aspect of Constraint Logic Programming (CLP) systems. It is needed both in the output of constraints, as well as in the production of an internal representation of constraints for meta-level manipulation. Typically, only a small subset {Mathematical expression} of the variables in constraints is of interest, and so an informal statement of the problem at hand is: given a conjunction {Mathematical expression} of constraints, express the projection {Mathematical expression} of c onto {Mathematical expression} in the simplest form. In this paper, we consider the constraints of the CLP(R) system and describe the essential features ..