DM22, Spring 2005 - Weekly Note 12

Lecture May 2

More built-in predicates. More programming example.

Reading

Section 3.7-8, Chapter 6 and rest of Chapter 7 in Clocksin and Mellish. Slides (txt, txt).

Comments

At the lecture, we explicitly covered Sections 7.5, 7.7, 7.8, and 7.12. At the previous lecture, 7.2 and 7.3 were covered. The remaining parts of Chapter 7 are left for your own reading. The contents of 3.7 was also covered, whereas Section 3.8 is left for your to read. Chapter 6 is an overview of built-in predicates, of which almost all have been mentioned at this lecture and previous ones. The ones remaining are left for your own reading (the full list of built-in predicates in gprolog is a bit larger, see its documentation). In short, all of Chapters 1 to 7 should now have been read.

Lecture May 9 (Expected Contents)

Spypoints. Prolog and logic.

Reading

Section 8.4 and Chapter 10 in Clocksin and Mellish.

Exercises May 12/May 13

Exercises 4.1 and 7.2-4 in Clocksin and Mellish.

Exam of winter 2001 (pdf), exercise 1. Exam of winter 2001 (pdf), exercise 2, question 2.b. Exam of summer 2002 (pdf), exercise 1. Exam of summer 2003 (pdf), exercise 1.

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.b and 4.c.