Zeitschriftenartikel
Constraint-basierte Programmiersprachen
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2012
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Springer
Zusammenfassung
Dieser Beitrag zeichnet zunächst kurz die in den logischen Sprachen begründete Geschichte der Constraint-Programmierung nach. Einige einführende Beispiele erläutern die Grundbegriffe und stellen den grundlegenden deklarativen Modellierungsansatz dar. Im Hauptteil des Beitrags werden einige moderne und verbreitete Systeme zur Constraint-basierten Programmierung vorgestellt – sowohl neue Programmiersprachen als auch Bibliotheken für existierende Sprachen. Ein durchgängiges Beispiel veranschaulicht dabei die Unterschiede und Vorzüge der verschiedenen Ansätze.