DM509, Fall 2006, 2nd quarter - Weekly Note 6

The exercise class December 22 (10-12) will take place in U49D.

Second project has been handed out.

Announcement (in Danish):

Instruktorater: Hjælp dine medstuderende, dygtiggør dig selv og få penge for det. Søg I dag!

Der er ofte gode muligheder for at få et instruktorat, selvom man ikke er langt henne i studiet. Hvis du har spørgsmål, så henvend dig gerne på IMADA. Ansøgningsproceduren er beskrevet på: www.jobs.sdu.dk. Hvis du allerede er ansat som instruktor i efteråret 2006, leverer du ansøgning om tildeling af timer ind på IMADAs sekretariat (se opslaget vedr. bilag mm.) ANSØGNINGSFRIST: 20.12 2006 KL. 12:00.

Lecture December 12

More on type inference. Start on Prolog.

Reading

Chapter 13 (handouts) from Thompson book. Chapter 1, Sections 2.1-4, and Sections 3.1-2 in Clocksin and Mellish. Slides: txt.

Lecture December 14

More on Prolog: Backtracking and the cut.

Reading

Rest of Chapter 2, Sections 3.3-4, Chapter 4, and Section 5.1 in Clocksin and Mellish. Slides: txt.

Lecture December 19 (Expected Contents)

More on Prolog: More built-in predicates. More examples of code. Detailed unification algorithm.

Reading

Chapter 6, and parts of Chapter 7 in Clocksin and Mellish. Handouts.

Lecture December 21 (Expected Contents)

Prolog and logic. Clausal form. Horn clauses.

Reading

Chapter 10 in Clocksin and Mellish. Handouts (from last lecture).

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.

In relation to the exam, only the algorithm on page 40 in Nilsson and Maluszynski is relevant. It is not deep, but for a full understanding, reading most of Section 3.2, as well as Section 1.5 (and the errata of the book, which corrects an error in Section 1.5) is an advantage (mostly to get the notation used). The rest of the handed out Sections 3.1-3 can be seen as a more elaborate version of (part of) the material in Chapter 10 in Clocksin and Mellish.

Exercises December 18

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

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

Exam of winter 2001 (pdf), exercise 4, questions a and b.

Exercise 1.3 (page 23) and 2.1 (page 33) in Clocksin and Mellish.

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

Exam of summer 2005 (pdf), exercise 2.

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

Exercises December 22

Remaining from last exercise class:

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

New:

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

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

Exam of summer 2003 (pdf), exercise 4, question b and c.

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

If time permits:

Exam of summer 2003 (pdf), exercise 2.

Exam of winter 2001 (pdf), exercise 2.