2G1121 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.
  This book has also been ordered at the student book shop. You find suggested reading here including a listing of tasks from Sterling and Shapiro that are useful.
• There is a course compendium (.ps) (.pdf) (160 pages) containing notes and explanations to the material that is presented. Note that the compendium is not a replacement for the textbook. Hard copies can be arranged for a fee. Note that the content might change during the course so it is wise not to print hard copies too early. Print selectively chapter by chapter if at all. (see the Kurs-PM for comparative reading instructions.)
• Sicstus Prolog Home Page for the latest version of SICStus Prolog containing among other things HTML- and PDF-versions of the manual.
• The material that will be presented in the course as slides is available as a html-based, slide show and also as a powerpoint file(.ppt) and as pdf. See the Kurs-PM for a detailed division.
• The guest lecture on constraints has new slides here:
  powerpoint file(.ppt) and as pdf.
• A directory is set up containing unsorted and unfinished code-examples.

Alternative and complementary literature

• 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. It is instead available for free download on the web. If you do not like to read on computers and have no access to reasonable printers, you are recommended to team up and arrange printouts on your own. The same goes for the SICStus Prolog manual, which is preferably read on line, since it is appr. 800 pages (but you might want to print out certain sections).
• 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.
• • A recent and very practical book oriented towards efficient programming of knowledge based systems is "Prolog Programming in Depth", by Michael A. Covington, Donald Nute and Andrè Vellino. ISBN 0-13-138645-X. Prentice Hall.
  • A 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.

Books articles to read after you have taken this course (or at the end)

• A book on useful programming techniques in Prolog: "Clause and Effect - Prolog Programming for the Working Programmer" by William Clocksin. ISBN 3-540-62971-8. Springer Verlag.
• Richard O'Keefe, The Craft of Prolog. ISBN 0-262-15039-5. A book for the advanced Prolog programmerMIT Press.
• CAD Systems Using AI Techniques. G. Odawara Editor. IFIP. ISBN 0-444-88319-3. North-Holland.
• W.G. Clocksin, Logic Programming and Digital Circuit Analysis, in Journal of Logic Programming 1987:4.