Chapter 4
Lists

This chapter has three main goals:

1. To introduce lists, an important recursive data structure often used in Prolog programming.
2. To define the member/2 predicate, a fundamental Prolog tool for manipulating lists.
3. To introduce the idea of recursing down lists.