ADMINISTRATION
Course plan
Schedule
HANDOUTS
Homework
in pdf format.
Powerpoint slides from
Introductory lecture
.
Powerpoint slides on
Prolog
.
Postscript slides on
Interval constraints
.
Powerpoint slides on
CHR
.
Pdf slides on
HAL
.
LINKS
Powerpoint slides from
Programming with Constraints: An Introduction
On-line guide to constraint programming
Constraint archive
Logic software @ IDA
SICStus prolog
SICStus manual on
clp(q)/clp(r)
SICStus manual on
clp(b)
SICStus manual on
clp(fd)
SICStus manual on
CHR
Home of CHR
Home of HAL
Interval computations
CHIP manuals
(available only locally)
Home of Oz/Mozart
2001
Ulf Nilsson