Logic programming

The material in the lecture was taken from parts of chapter 14 of The Art of Prolog (on reserve in the library); Arithmetic computations in Prolog are covered in Chapter 8 of the book.