DM22, Spring 2005 - Weekly Note 13

There will be a "spørgetime" Friday, June 24, at 10:15 (room to be announced later). We will do the entire exam of summer 2004 (pdf), and will discuss any questions on the curriculum and the exam you may have.

Lecture May 9

Prolog and logic.

Reading

Chapter 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.

Reading

Chapter 9 in Clocksin and Mellish.

Exercises May 19/May 20

Any remaining exercises from last exercise class.

Exercises 7.5-6 and 7.8 in Clocksin and Mellish.

Exam of winter 2001 (pdf), exercise 2, question 2.a. Exam of winter 2000 (pdf), exercise 4. Exam of summer 2003 (pdf), exercise 4, question 4.c.

Exercises May 26/May 27

Exam of summer 2003 (pdf), exercise 4, question 4.b. Exam of summer 2002 (pdf), exercise 2. Exam of winter 2000 (pdf), exercise 5. Exam of winter 2000 (pdf), exercise 3.