Logic programming

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