Mercury Tutorial Contents

1. Hello, World!
2. Working with Lists
3. Sums and Functions
4. Defining New Types
5. Determinism and Backtracking
6. Modes and Instantiation
7. Clausal Form and Unification
8. Modules and Name Spaces
9. DCG Notation