Constraints

Folien zur Vorlesung

An Lisp angepasster Quellcode aus Abelson/Sussman: Struktur und Interpretation von Computerprogrammen

• constraints.lisp: Definitionen aus der Vorlesung
• demo.lisp: Beispiel zu Constraints
• zaehler.lisp: Beispiel zu lokalen Zuständen
• aufaddierer.lisp: Beispiel zur Nachrichtenweitergabe

Literatur

• Abelson, H. & Sussman, G. J. mit Sussman, J., Struktur und Interpretation von Computerprogrammen, S. 276 ff., 2. Auflage, Springer, 1993.

  Knappe, aber für den Einstieg ausreichende Einführung in das Thema Constraints. Um die wichtigsten Unterschiede zwischen Lisp und Scheme kennenzulernen, sollte vorher zumindest Abschnitt 1.1 durchgearbeitet werden. Die Kenntnis der Abschnitte 3.1 und 3.2 ist zu empfehlen, da dort die Themen lokale Zustandsobjekte und Nachrichtenweitergabe behandelt werden.

• Sussman, G. J. und Steele Jr., G. L., CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions, in Artificial Intelligence 14(1980), S. 1 - 39

  Enthält umfangreichere Beispiele für den Aufbau von Beschränkungsnetzen.