Dear all,

the slides, the files with the examples used in class, and the recordings of yesterday's class have now been posted on the web site.

I have also posted exercise sheets 1 (from last week) and 2, corresponding to the material of the first and second lecture. You need to do these exercises, running them on the Ciao system, and turn them in before the next class (May 12).

Remember that you can find installation instructions for Ciao on the front page of the course as well as pointers to manuals, etc., as well as some slides on the basic use of a logic and constraint programming system.

Cheers,

Manuel