Book Summary:

The course for which these notes are designed is intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. They are not assumed to have had any formal course in either propositional or predicate logic.

The original function was to provide students studying Artificial Intelligence (AI) with an intensive introduction to Prolog so, inevitably, there is a slight bias towards AI.

At the end of the course the students should be:

- familiar with the basic syntax of the language
- able to give a declarative reading for many Prolog programs
- able to give a corresponding procedural reading
- able to apply the fundamental programming techniques
- familiar with the idea of program as data
- able to use the facilities provided by a standard trace package to debug programs
- familiar with the fundamental ideas of the predicate calculus
- familiar with the fundamental ideas specific to how Prolog works

This is a rather ambitious undertaking for a course of only twelve lectures so the lectures are supplemented with exercises and small practical projects wherever possible.