- Viele Aufgaben sind Constraint-Systeme
(die Spezifikation ist eine
prädikatenlogische Formel)
- herkömmlicher Ansatz: man erfindet und implementiert
einen anwendungsspezifischen Algorithmus,
der das Constraint-System löst
- Constraint-Programmierung: man schreibt
das Constraint-System in einer formalen Sprache
und benutzt einen anwendungsunabhängigen Löser.
- Solche Constraint-Systeme sind deklarative Programme.
(Master-Vorlesung Constraint-Programmierung)
Johannes Waldmann
2010-01-25