Next:
Introduction
Up:
ECLiPSe User Manual Release
Previous:
Attribute Specification
 
Index
Advanced Control Features
Introduction
The Resolvent
Suspensions
What's in a Suspension?
Creating Suspended Goals
Operations on Suspensions
Examining the Resolvent
Waking conditions for suspensions
Attaching Suspensions to Variables
User-defined Suspension Lists
Attaching Suspensions to Global Triggers
Postponed Goals
The Waking Mechanism
Suspend Solver
Demon Predicates
More about Priorities
Changing Priority Explicitly
Choice of Priorities
Printing Suspensions
The Standard suspend Attribute
The suspend/3,4 Predicates
Particularities of Waking by Unification
The Top-Level Loop
The Cut and the Suspended Goals
Obsolete Suspension Facilities
Delay Clauses
More Examples
Simulating other delay primitives with delay clauses
Warwick Harvey
2004-08-07