Programming Techniques and List Processing

• The `Reversibility' of Prolog Programs
  • Evaluation in Prolog
• Calling Patterns
• List Processing
  • Program Patterns
    • Test for Existence
    • Test All Elements
    • Return a Result ---Having Processed One Element
    • Return a Result ---Having Processed All Elements
  • Reconstructing Lists
    • Building Structure in the Clause Head
    • Building Structure in the Clause Body
• Proof Trees
• What You Should Be Able To Do