Michael Hanus
Christian-Albrechts-Universitaet zu Kiel

Logisch-funktionale Entwurfsmuster
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Software-Entwurfsmuster geben einen guten Einblick in wichtige
Programmiertechniken und -schemata und sind im Bereich der
objektorientierten Programmierung in den letzten Jahren stark
diskutiert worden. Fuer andere Programmierparadigmen, wie logische und
funktionale Programmiersprachen, sind diese dagegen kaum untersucht
worden.  Daher stellen wir in diesem Vortrag einige Entwurfsmuster
fuer logisch-funktionale Sprachen vor. Diese Entwurfsmuster behandeln
insbesondere die Konstruktion von Daten, Suche, Nichtdeterminismus und
Zuordnung von Identifikatoren.  Ihre Anwendung wird inbesondere durch
die Kombination von logischen und funktionalen Programmiertechniken
ermoeglicht.  Wir zeigen anhand einiger kleinerer Beispiele die
Struktur und Anwendung dieser Entwurfsmuster in der Programmiersprache
Curry.