Previous: Sequence Constraints, Up: Available Constraints [Contents][Index]
User-defined constraints can be added using two APIs. On a higher level, constraints over integers and reals can be defined using the global constraint programming interface; see Defining Global Constraints. Such constraints can be implemented by specialized, stateful algorithms and use the full power of Prolog. They cannot be reified.
On a lower level, constraints over integers can be defined as indexical constraints; see Defining Indexical Constraints. Such constraints are encoded in a language that uses stateless set expressions for pruning and entailment checking. Indexical constraints are reifiable.