Textbook

The book on functional programming will be:

Richard Bird: Introduction to Functional Programming using Haskell, 2nd edition. Prentice Hall, 1998. ISBN 0-13-484346-0.

The website of the book contains errata for it (repeated here in pdf).

The book on logic programming will be:

W.F. Clocksin and C.S. Mellish: Programming in Prolog. Springer-Verlag, 5th edition, 2003. ISBN 3-540-00678-8.

We will also use a few pages (will be given as handouts) from

Ulf Nilsson, Jan Maluszynski: Logic, Programming and Prolog. Wiley, 2nd edition, 1995. ISBN 0-471-95996-0.

The two first books can be bought at Studenterboghandlen. The third is freely available online.


Maintained by Rolf Fagerberg (rolf@imada.sdu.dk)