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.