next up previous index
Next: The Resolvent Up: Advanced Control Features Previous: Advanced Control Features   Index

Introduction

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