DM22, Spring 2006 - Weekly Note 12

Note: this week and the next, exercises and lectures will swap place (i.e. exercises Tuesday, lectures Wednesday).

Lecture May 2

Further prolog examples, some built-in predicates, the cut.

Reading

Sections 3.3-7, Chapter 4, Sections 6.1-2, 6.8, 6.11-12, and 7.3 in Clocksin and Mellish. Slides: txt, txt.

Lecture May 10 (Expected contents)

Further prolog examples and built-in predicates. Tracing.

Reading

Sections 3.8, Chapter 5, rest of Chapter 7, Chapter 8 in Clocksin and Mellish.

Exercises May 9

Exam of winter 2000 (pdf), exercise 1, question b.

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

Exam of summer 2003 (pdf), exercise 2.

Exam of summer 2004 (pdf), exercise 2.

Exam of summer 2004 (pdf), exercise 4, question a.