Materials in the bookstore Books Required books Leon Sterling and Ehud Shapiro, ``The Art of Prolog'' MIT Press. Ivan Bratko, ``Prolog Programming for Artificial Intelligence'', Addison Wesley.