Das Buch gibt einen kompakten, aber umfassenden Überblick über das Problemlösen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermöglicht es, Aufgaben direkt zu formulieren und effizient zu lösen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schließen und Rechnen mit ungenauer oder unvollständiger Information (z.B. Kostenschätzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch für Forscher und Praktiker von Nutzen.

Einleitung.- Prädikatenlogik und Kalküle.- Logikprogrammierung.- Constraint-Logikprogrammierung.- Constrainterweiterungen.- Nebenläufige CL-Programmierung.- Constraint Handling Rules.- Constraintsysteme.- Anwendungen.- Übungsaufgaben und Lösungsvorschläge.- Literaturverzeichnis.- Abbildungsverzeichnis.- Index.