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