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

Simon Thompson: Haskell: The Craft of Functional Programming. Addison-Wesley, 2nd edition, 1999. ISBN 0-201-34275-8.

and 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 fourth is freely available online.

Another handout is the following note by Ernest Davis on predicate calculus.