 |  |  |
| INFO0050-1 | Constrained programming
|

 |
| Duration : | 30h Th, 30h Pr |
 |
| Number of credits : |
|
 |
| Lecturer : | Pascal Gribomont |
 |
Language(s) of instruction :
 |
| French language |
 |
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) |
 |
Assessment methods and criteria :
 |
| Homeworks. Oral examination. |
 |
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 |
 |