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
]