This version of the course is now superseded by the latest version . The most important difference to earlier editions of the course is that we have this year decided to leave the parts that are not directly related to logic programming and Prolog outside of the course. This is not because these parts are not interesting, but to allow more focus to be put on the core ideas of logic programming and its programming techniques. In the project part there is more freedom for the students to choose tasks that suit their interests, since a creative element of actually formulating the project task has been introduced.
Many alternative books are available.
You need to complement the theory part if you chose other books. MIT Press . The preferred Prolog system for this course is SICStus Prolog. There is a project task of 2p. Unapproved projects will not be graded .