1: Facts and Rules
2: Some Arithmetic
3: Recursion
4: Structures
5: Recursive Structures
6: Introducing Lists
7: Lists as Accumulators
8: Backtracking and Cut
9: Control Features
10: Input and Output