Die Constraintprogrammierung verbindet deklaratives Programmieren mit
effizienten Problemlösungstechniken, insbesondere aus der
mathematischen Optimierung und der Künstlichen Intelligenz. Es handelt
sich um ein aktuelles Forschungsgebiet, das bereits eine beachtliche
Zahl industrieller Anwendungen vorweisen kann. Im Praktikum werden
zunächst
Constraint-Programmierung und die Sprache
Constraint Handling Rules eingeführt. Dann soll jede Gruppe einige Constraintlöser und Anwendungen untersuchen und implementieren.
Es wird in Java und Constraint
Handling Rules programmiert. Sie können CHR
online ausprobieren. Eine Java-Constraint-Bibliothek (JCK),
die unter anderem eine Implementierung von CHR in Java und einen
graphischen Debugger enthält, steht zur Verfügung.
zurück zum Inhaltsverzeichnis dieser Seite
Lehr- und Forschungseinheit