Generation of propagation rules for intentionally defined constraints

A general approach to implement propagation and simplification of constraints consists of applying rules over these constraints. However, a difficulty that arises frequently when writing a constraint solver is to determine the constraint propagation algorithm. In previous work, different methods for automatic generation of propagation rules for constraints defined over finite domains have been proposed. We present a method for generating propagation rules for constraint predicates defined by means of a constraint logic program