Next: The Resolvent
Up: Advanced Control Features
Previous: Advanced Control Features
  Index
ECLiPSe provides a set of low-level
primitives for suspending and waking goals.
Explicit suspension handling together with the attributed variable data type
represents an extremely powerful tool for implementing constraint
propagation and similar algorithms.
These primitives may not be the easiest ones to use, but they are
instrumental in providing higher-level constraints with the
desired operational behaviours.
1999-08-06