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 Course PM 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" 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.
- 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 recent 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 about AI techniques 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.