Duration
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 |
Lecturer
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
Learning unit contents
Introduction to constraint programming.
Prolog extensions for programming with constraints.
Applications.
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
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