Zusammenfassung
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Frühwirth, T., Abdennadher, S. (1997). Constraintsysteme. In: Constraint-Programmierung. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59115-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-59115-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60670-3
Online ISBN: 978-3-642-59115-0
eBook Packages: Springer Book Archive