DM22, Spring 2007 - Weekly Note 12

This week, there will be two lecture slots and no exercise slots. Next week, there will be no lecture slots and two exercise slots.

Lecture April 23

More on type inference.

Reading

Handouts from Thompson book (Chapter 13).

Lecture April 30 (Expected Contents)

Prolog.

Reading

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

Slides: txt, txt, txt.

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

Remarks

You have three different options for literature for the Prolog part of the course.

1. The book W.F. Clocksin and C.S. Mellish: Programming in Prolog. Springer-Verlag, 5th edition, 2003. ISBN 3-540-00678-8. Pros: the official textbook from which curriculum is defined. Cons: price, a bit too "soft" (is meant to be read by students from outside computer science).

2. The online book Learn Prolog Now! (html, pdf) by Blackburn, Bos, and Striegnitz. Pros: price. Cons: a bit long for the items covered.

3. The slides of the lecturer (given on weekly notes). Pros: price, short and terse. Cons: ugly typography, short and terse.

Any of the three choices will adequately cover the course subjects (in all cases, you are also required to know about the built-in predicates of Gprolog (see the manual, of which sections 6.2, 7.1-4, 7.6, 7.9, 7.18, and 7.20 should be read, and 7.7, 7.10-14, and 7.23 briefly skimmed) and to read additional handouts).

Lecture May 2 (Expected Contents)

More Prolog.

Reading

Chapter 5, Rest of Chapter 6, Sections 7.2, 7.5, and 7.7-8. Slides: txt, txt.

Exercises May 7

The remaining exercises from last time:

Exercises 1.6.1, 1.6.3, and 1.6.4 in Bird.

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

New exercises:

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

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

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

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

Exercises May 9

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

Exam of summer 2005 (pdf), exercise 2. [Hint for c: consider the built-in predicate findall/a.]

Exam of summer 2002 (pdf), exercise 3, question a (only finding the type)

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

Exam of winter 2007 (pdf), exercise 2.

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