Literature

This page will be updated during the course.

Prolog

Introduction to Prolog [NF07]
Torben Nielsen, Rolf Fagerberg.
University of Southern Denmark, 2007.

Programming in Prolog [CM94] (hand-out)
W. F. Clocksin, C. S. Mellish.
4th ed., Springer, 1994, 93-107.

Programming in Prolog [CM03] (hand-out)
W. F. Clocksin, C. S. Mellish.
5th ed., Springer, 2003, 119-144.

Notes on Predicate Calculus [D]
E. Davis.

Logic, Programming and Prolog [NM95] (hand-out)
Ulf Nilsson, Jan Maluszynski.
2nd ed., Wiley, 1995, 14-16, 33-43.

Haskell

Programming in Haskell [H07]
Graham Hutton.
Cambridge University Press, 2007.

Haskell - The Craft of Functional Programming [T99] (hand-out)
Simon Thompson.
2nd ed., Pearson/Addison-Wesley, 1999, 227-241.

Extra Material

Additional material that might be helpful:
The GNU Prolog Manual
Daniel Diaz.
2007.

Logic, Programming and Prolog
Ulf Nilsson, Jan Maluszynski
2nd ed., Wiley, 1995.

Learn Prolog Now!
Patrick Blackburn, Johan Bos, Kristina Striegnitz.
2001.

Online Prolog resources
University of Maryland.

99 Prolog problems
Werner Hett.
Berner Fachhochschule.

Earlier Exam Sets in Related Courses


Last modified: Wed Dec 10 09:15:09 CET 2008
Kim Skak Larsen (kslarsen@imada.sdu.dk)