DM22, Spring 2007 - Weekly Note 13

There will be a "pizza-meeting" for all students of Imada on Monday, May 21 at 16.10-18.30 in room U47. At the meeting Imada will give general information on the Bachelor and Candidate studies, and specific information on the elective courses in Mathematics and Computer Science planned for the next semester. The meeting will end with a free pizza, beer, and soft drink session.

A number of instruktorater (teaching assistant jobs) are available at Imada. Deadline is May 31 at noon. More info at www.jobs.sdu.dk.

Lecture April 30

Start on Prolog.

Reading

Chapters 1 (read it fast) and 2, Sections 3.1-7, 6.8, 6.11-12, and 7.3 in Clocksin and Mellish.

Slides: txt

Equivalent reading in Blackburn, Bos, and Striegnitz: Chapters 1-5.

Lecture May 2

Handout of second project. More Prolog: the cut.

Reading

Chapter 4 in Clocksin and Mellish.

Slides: txt.

Equivalent reading in Blackburn, Bos, and Striegnitz: Chapter 10.

Lecture May 14

More code examples of list predicates. Overview over built-in predicates. Predicate calculus, conversion of formulas to clausal form.

Reading

Chapter 6 and Sections 7.5, 7.9, and 10.1-3 in Clocksin and Mellish.

Slides: txt, txt.

Equivalent reading in Blackburn, Bos, and Striegnitz: Chapters 6 and 11, and Sections 9.1-3 and 12.2

Pages 4-6 (handout) in note by Ernest Davis on predicate calculus.

Remarks

If you want more Prolog code examples, the rest of Chapter 7 in Clocksin and Mellish is a good read. If you want to define your own operators, Section 5.5 in Clocksin and Mellish (or Section 9.4 in Blackburn, Bos, and Striegnitz) is the place to look (note: the notation yfy from 5.5 in Clocksin and Mellish is not allowed).

Pages 4-6 in the note by Ernest Davis is a slightly more precise version (and also using more standard logical notation) of the algorithm from Section 10.2 in Clocksin and Mellish for converting a predicate calculus formula to clausal form.

Exercises May 16

Exam of winter 2007 (pdf), exercise 3, question b.

Exam of summer 2005 (pdf), exercise 3, question b.

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

Exam of winter 2000 (pdf), exercise 4.

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