Contents
1 Database Prolog
 1.1 Introduction
 1.2 Facts and rules
 1.3 Goals and queries
 1.4 Unification
 1.5 Exercises
2 Pure Prolog
 2.1 Recursion and lists
 2.2 Operators
 2.3 Arithmetic in Prolog
3 Full Prolog
 3.1 Input and output
 3.2 Metalogical predicates
 3.3 Cut
 3.4 Programming Exercise
4 Program examples
 4.1 Natural language processing
 4.2 A propositional logic interpreter
 4.3 The program
 5 Discussion of exercises

[next]