Prolog
Tutorials
0: Getting Started

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

GNU Free Documentation License