Chapter 18 Advanced Control Features
Introduction
Concepts
The Structured Resolvent
Floundering
Suspending Built-Ins and the Suspend-Library
Development System Support
Declarative Suspension: Delay Clauses
Explicit suspension with
suspend/3
Waking conditions
Standard Waking Conditions on Variables
Library-defined Waking Conditions on Variables
Global Symbolic Waking Conditions: Triggers
Lower-level Primitives
Suspensions and Suspension Lists
Creating Suspended Goals
Operations on Suspensions
Examining the Resolvent
Attaching Suspensions to Variables
User-defined Suspension Lists
Attaching Suspensions to Global Triggers
Scheduling Suspensions for Waking
Demon Predicates
More about Priorities
Changing Priority Explicitly
Choice of Priorities
Details of the Execution Mechanism
Particularities of Waking by Unification
Cuts and Suspended Goals
Simulating the Delay-Primitives of other Systems