 | | |
| INFO0050-1 | Constrained programming
|
|
| Duration : | 30h Th, 30h Pr |
|
| Number of credits : |
|
|
| Lecturer : | Pascal Gribomont |
|
Language(s) of instruction :
|
| French language |
|
Organisation and examination :
|
| Teaching in the first semester, review in January |
|
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). |
|
Prerequisites and co-requisites/ Recommended optional programme components :
|
| 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
Stéphane Lens
lens@montefiore.ulg.ac.be |
|
