Chapter 3
Recursion
This chapter has two main goals:
- To introduce recursive definitions in Prolog.
- To show that there can be mismatches between the declarative meaning of a Prolog program, and its procedural meaning.