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)