1 Indexical Constraints A key issue in Constraint (Logic) Programming system, is the implementation of the underlying Constraint Solvers. A number of features.