Constraintsysteme

In diesem Kapitel stellen wir alle gängigen Constraintsysteme vor. Für sie existiert eine Vielzahl von Varianten und Algorithmen, von denen wir aus didaktischen Gründen die anschaulicheren Verfahren näher betrachten. Diese Algorithmen stammen meist aus der Forschung im Bereich der Künstlichen Intelligenz. Um die Algorithmen zu spezifieren und gleichzeitig als Constraintlöser zu implementieren, verwenden wir die Constraint Handling Rules (CHR) aus Kapitel 7 mit Prolog als Basissprache. Damit können wir kompakt und deklarativ die wesentlichen Aspekte der Algorithmen beschreiben. Zu jedem Constraintsystem gibt es auch Ubungsaufgaben und teilweise Lösungsvorschläge, die im Anhang zu finden sind.