DM22, Spring 2006 - Weekly Note 14

This is the last week of the course. Details of the exam will be given at the lecture Tuesday, and on the next (and last) Weekly Note.

Lecture May 17

Tracing. Prolog and logic.

Reading

Chapter 8 and 10 in Clocksin and Mellish.

Comments

The textbook is a bit vague in Chapter 10 (except for the algorithm for conversion to clausal form in Section 10.2). For the interested, a more precise account of the subject can be found in Chapters 1-3 in Ulf Nilsson, Jan Maluszynski: Logic, Programming and Prolog, 2nd edition, Wiley, 1995 (Sections 2.3-4 can be omitted). The book is out of print, but is available online at http://www.ida.liu.se/~ulfni/lpp/. Note that Horn clauses are termed definite clauses in this book.

Lecture May 23 (Expected contents)

Finishing of Prolog and logic. Prolog grammar rules. Discussion of exam.

Reading

Chapter 10 in Clocksin and Mellish and Section 3.2 (in particular the algorithm on page 40) in Ulf Nilsson, Jan Maluszynski: Logic, Programming and Prolog, 2nd edition, Wiley, 1995. Chapter 9 in Clocksin and Mellish.

Comments

In relation to the exam, only the algorithm on page 40 in Nilsson and Maluszynski is relevant. It is not deep, but for a full understanding, reading most of Section 3.2, as well as Section 1.5 (and the errata of the book, which corrects an error in Section 1.5) is an advantage (mostly to get the notation used). The rest of the handed out Sections 3.1-3 can be seen as a more elaborate version of (part of) the material in Chapter 10 in Clocksin and Mellish.

Exercises May 16

Any remaining exam exercises from the previous weekly note.

Exam of summer 2004 (pdf), exercise 4, question b and c.

Exam of summer 2003 (pdf), exercise 4, question b and c.

Exam of summer 2002 (pdf), exercise 2, question a.

Exam of winter 2001 (pdf), exercise 2, question a.