Contents

Basics

1. Simple Facts

2. Querying With Variables

3. Satisfying Multiple Properties

4. Proving New Facts By Deduction

5. Generating Simple Sentences

6. Query Order & Efficiency

Recursion

7. Introducing Recursion

8. Recursion With Lists

9. Recursion With An Accumulator

10. Recursion With Arithmetic

11. Queries That Don’t Finish

The Cut

12. Introducing The Cut

13. Backtracking After The Cut

14. The Cut For Efficiency

15. Negation

Meta-Programming

16. Meta-Interpreter 1: Facts

17. Meta-Interpreter 2: Deduction

18. Meta-Interpreter 3: Recursion

19. Meta-Interpreter 4: The Cut

20. Meta-Interpreter 5: Fixed Depth Search

Afterword

21. Some Terminology