These notes are based on a previous version used with the students of the AI2 course in Prolog during the session 1985--87 and 1988--89 at the Department of Artificial Intelligence, Edinburgh University. My thanks for the feedback that they supplied.