Logic programming

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