3 Recursion

This lecture has two main goals:

1. To introduce recursive definitions in Prolog.

2. To show that there can be mismatches between the declarative meaning of a Prolog program, and its procedural meaning.

• 3.1 Recursive definitions
  • 3.1.1 Example 1: Eating
  • 3.1.2 Example 2: Descendant
  • 3.1.3 Example 3: Successor
  • 3.1.4 Example 3: Addition

• 3.2 Clause ordering, goal ordering, and termination

• 3.3 Exercises

• 3.4 Practical Session 3