Deklarative Programmierung

bei Prof. Schwarz

für Bachelor Informatik 7. Semester

Wintersemester 2009/10

Vorlesung / Praktikum:

Z1	Dienstag	13:30 - 15:00	Uhr	im Raum 201
Z1	Mittwoch	15:20 - 16:50	Uhr	im Raum 201

Inhalt:

• Funktionale Programmierung (Haskell)
• Logische Programmierung (Prolog)
• Constraint-Programmierung
• Kombinationen: logische Programmierung mit Constraints, funktional-logische Programmierung (Mercury, Curry)

7.10.2009

Es gibt auch Aufgaben im Autotool.

Seminar:

Vorträge zu den folgenden Themen:

26.1.2010	13:30 - 15:00	Uhr	im Raum 201:	Funktionale Erweiterungen in Java ( CAL / OpenQuark)	(Müller)
				Erlang	(Weiß)
27.1.2010	15:20 - 16:50	Uhr	im Raum 201:	Opal	(Meier)
				F#	(Baum)

Literaturempfehlungen:

Folien zur aktuellen Vorlesung (werden jeweils nach der Vorlesung veröffentlicht):

• 6.10.2009
• 20.10.2009
• 3.11.2009
• 17.11.2009
• 1.12.2009
• 2.12.2009

Logische Programmierung:

• Learn Prolog Now!

Funktionale Programmierung:

• http://www.haskell.org/
• Manuel M. T. Chakravarty, Gabriele C. Keller: Einführung in die Programmierung mit Haskell. Pearson 2004
• Paul Hudak: Gentle Introduction To Haskell. http://www.haskell.org/tutorial/index.html
• Paul Hudak: The Haskell School of Expression. Cambridge University Press
• A History of Haskell: Being Lazy With Class

Constraint-Programmierung:

• Petra Hofstedt, Armin Wolf: Einführung in die Constraint-Programmierung. Springer 2007
• Krzysztof Apt: Principles of Constraint Programming, Cambridge University Press 2003
• Thom Frühwirth, Slim Abdennadher: Constraint-Programmierung. Springer 1997