Literature

ID2213 Logic Programming. Literature

• We use the book: The Art of Prolog, second Edition, by Leon Sterling and Ehud Shapiro. ISBN 0-262-19338-8. Program examples from the book are available in the ArtOfProlog directory. Solutions to some of the exercises are here.
• You find suggested reading in the kurs-PM and here including a listing of tasks from Sterling and Shapiro that are useful.
• 99 prolog problems
• A thorough, basic and useful tutorial is this one by Paul Brna (also used in the programming paradigm course taken earlier by D-students).
• A very useful tutorial titled "The Logic Programming Paradigm and Prolog" (orig) by prof. Krzysztof R. Apt
• There is a useful little book on programming techniques in Prolog: "Clause and Effect - Prolog Programming for the Working Programmer" by William Clocksin. ISBN 3-540-62971-8. Springer Verlag.
• Some articles are provided by the course leader: such as W.G. Clocksin, Logic Programming and Digital Circuit Analysis, in Journal of Logic Programming 1987:4.
• A good brief summary is found in the material of this course at the Ben Gurion University (look for the three docs found under "Introduction to Logic Programming")
• See the Sicstus Prolog Home Page for the latest version of The SICStus Prolog manual.

Alternative and complementary literature

Many alternative books are available. You may need to complement the theory part if you choose other books. On the other hand those books contain many good programming examples.

• The older course book "Logic, Programming and Prolog" by Ulf Nilsson and Jan Maluszynski. Second Edition. ISBN 0-471-95996-0. Wiley, is no longer in print. The book is available for free download on the web.
• A more modern book more oriented towards AI programming and game programming is "Prolog Programming for Artificial Intelligence" by Ivan Bratko. ISBN 0-201-14224-4. Addison Wesley. It is a useful book that can work as an alternative, even though much of the material of the book is not covered in this course and some additions are needed.

Books articles to read after you have taken this course

• Richard O'Keefe, The Craft of Prolog. ISBN 0-262-15039-5. A book for the advanced Prolog programmer, MIT Press.
• CAD Systems Using AI Techniques. G. Odawara Editor. IFIP. ISBN 0-444-88319-3. North-Holland.