*** Graduate course given fall 1999 ***
Course material
Course description
Schedule and literature list
Documentation
(local access only)
Exercises
How to start Prolog IV
Links
Introduction to Constraint Programming
(a previous graduate course)
A draft chapter on
Finite Domain Constraints
Interval Computations
Constraint Handling Rules
On-line guide to constraint programming
Constraint archive
Logic software @ IDA
Oz/Mozart manuals
Prolog IV
Last modified 20 Oct 1999 by
Ulf Nilsson