Duration
15h Th, 10h Pr, 80h Proj.
Number of credits
Lecturer
Language(s) of instruction
English language
Organisation and examination
All year long, with partial in January
Schedule
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, hybrid learning)
face-to-face
Organisational adjustments related to the current health context
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
Below you will find information on the evaluation methods planned for in-person and remote exams as well as those planned for hybrid sessions. Depending on how the health crisis evolves, the chosen method will be communicated to you no later than one month before the start of the exam session.
Homeworks. Final examination.
Work placement(s)
Organizational remarks
http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html
Contacts
Pascal Gribomont gribomont@montefiore.ulg.ac.be