The material in the lecture was taken from chapter 2 and 3 of The Art of Prolog (on reserve in the library);