DM22, Spring 2006 - Weekly Note 11

Lecture April 25

More on I/O in Haskell. Start on Prolog.

Reading

Section 10.1 in Bird. Chapters 1 (read it fast) and 2, and sections 3.1-2 in Clocksin and Mellish. Slides: txt.

Lecture May 2 (Expected contents)

More Prolog: 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, 7.3, and 7.5 in Clocksin and Mellish.

Exercises May 3

Exercises 1.1 (page 16), 1.2-3 (page 23), and 2.1 (page 33) in Clocksin and Mellish.

Exam of summer 2003 (pdf), exercise 4, question a (assume that X and Z are always instantiated to integers when the predicate is called).

Exam of winter 2001 (pdf), exercise 1, questions a to c.

Exam of summer 2002 (pdf), exercise 3 (in question 1, it is not necessary to explain the functionality). Note: a long and somewhat demanding exercise.