15h Th, 10h Pr, 80h Proj.
Number of credits
|Master of science in computer science and engineering (120 ECTS)||5 crédits|
|Master in computer science (120 ECTS)||5 crédits|
Language(s) of instruction
Organisation and examination
All year long, with partial in January
Units courses prerequisite and corequisite
Prerequisite or corequisite units are presented within each program
Learning unit contents
Introduction to constraint programming.
Prolog extensions for programming with constraints.
Learning outcomes of the learning unit
Students learn how to view a problem as a set of constraints, and how to solve it with an available constraint-solving system (SWI-Prolog, CLP(R), ECLiPSe, Comet).
Prerequisite knowledge and skills
Planned learning activities and teaching methods
Mode of delivery (face-to-face ; distance-learning)
Recommended or required readings
Constraint Logic Programming using Eclipse, Krzysztof R. Apt and Mark Wallace, ISBN-10: 0521866286
Principles of Constraint Programming, Krzysztof Apt, ISBN-10: 0521825830
Programming with Constraints: An Introduction, Kimbal Marriott and Peter Stuckey, ISBN-10: 0262133415
Assessment methods and criteria
Homeworks. Final examination.
Pascal Gribomont email@example.com