Introduction to Computational Logic: Lecture Notes

The course assumes familarity with basic functional
programming and Standard ML as it is taught in our
beginners course Programmierung 1.
We recommend
Moscow ML
or Alice as Standard ML
interpreter. Alice has a nice programming
environment well-suited for novices.

There are lecture notes Gert Smolka has written for
previous runs of this course. They are in German.
The most recent version is from Summer 2004.
Although we will present things somewhat differently
this year, the notes from 2004
are highly recommended.