Announcements

6-10-09
Classes will be held on room 204 Ed-II.
4-10-09
Classes will be on Wednesdays from 11:00 to 13:00, starting next Wednesday (7th of October).
The room will be announced here and by email on Tuesday, or you can ask at the secretariat on Wednesday morning.

Previous announcements.

Software

SICStus 4
To be used in some constraint logic programming exercises. As SICStus is proprietary software, it will be provided by the teacher for use according to the education license available for FCT.
ECLIPSe 6.0
A free prolog and CLP environment. Students can download it from the ECLIPSe project page and use it for most of the course. Please bring it installed for the first class.

Teaching

Prof. Auxiliar Ludwig Krippahl
ludi@di.fct.unl.pt
Office hours to be announced soon.

Schedule

Wednesdays, 11:00-13:00, 204 Ed. II