DM22, Spring 2005 - Weekly Note 14

Announcements:

• The curriculum (ps, pdf) for the course is now available.

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

• You need to sign up for next semesters courses at the administration web pages, including the elective courses at Imada (no signing up at the Imada web site this year). Deadline is Friday, May 27. Note that signing up for a course also means signing up for its exam (i.e. there will not be any signing up for exams in middle of semester, and you will loose an exam attempt if you sign up for a course but do not show up for the exam, unless you in the meantime sign off for the exam).

• Applications for instruktorater (teaching assistantships) at Imada are solicited. Deadline is June 9, at 12:00. See details at www.jobs.sdu.dk, or ask at the departemental office.

• The graded projects will be available at the departemental office Monday, June 6.

Lecture May 23

Finishing of Prolog and logic. Prolog grammar rules.

Reading

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. Slides (txt)

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.