Study Programmes 2015-2016
INFO0050-1  
Constraint programming projects
Duration :
15h Th, 10h Pr, 80h Proj.
Number of credits :
Master in computer science and engineering (120 ECTS)5
Master in computer science and engineering (120 ECTS)5
Master in computer science (120 ECTS)5
Master in computer science (120 ECTS)5
Lecturer :
Pascal Gribomont
Language(s) of instruction :
English language
Organisation and examination :
All year long, with partial in January
Units courses prerequisite and corequisite :
Prerequisite or corequisite units are presented within each program
Course contents :
Introduction to constraint programming.

Prolog extensions for programming with constraints.

Applications.
Learning outcomes of the course :
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 :
INFO0049-1 (prerequisite)
Planned learning activities and teaching methods :
Mode of delivery (face-to-face ; distance-learning) :
face-to-face
Recommended or required readings :
Recommended 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.
Oral examination.
Work placement(s) :
Organizational remarks :
http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html
Contacts :
Pascal Gribomont gribomont@montefiore.ulg.ac.be