Project: Rule-based and Constraint Programming

Constraint programming combines declarative programming with efficient problem solving techniques in particular mathematical optimization und artificial intelligence. It is a subject of active research which already showcases a substantial number of industrial applications.

Programming will be done in Prolog or Java with Constraint Handling Rules (CHR). A Prolog-based version of CHR can be tried online.

Students will learn basic understanding and knowledge on principles and practice of constraint programming. This will be applied and deepened in terms of a comprehensive project in which students learn to use constraint programming for modeling and solving of a problem.

Previous knowledge of CHR is advantageous but not required.

Requirements for participation

  • Participation of a lecture on the topic of constraint- and rule-based programming.