Control and Negation

• Some Useful Predicates for Control
  • true/0
  • fail/0
  • repeat/0
  • call/1
• The Problem of Negation
  • /1
  • Negation as Failure
  • Using Negation in Case Selection
• Some General Program Schemata
  • Generate --- Test
  • Finite and Infinite Generators
  • Test --- Process
  • Failure-Driven Loop
  • Some Practical Problems
    • Commit
    • Satisfy Once Only
    • Fail Goal Now
• What You Should Be Able To Do