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