Integration von funktionaler und logischer Programmierung

Die funktional-logische Programmierung integriert die Konzepte aus rein funktionalen Sprachen, wie benutzerdefinierte Kontrollstrukturen durch Funktionen höherer Ordnung und verzögerte Auswertung, sowie rein logischen Programmiersprachen, wie logische Variablen und einen eingebauten Suchmechanismus. Hierdurch läßt sich eine sehr hohe Ausdrucksstärke erzielen, die eine schnelle und kostengünstige Programmentwicklung ermöglicht. Um die Aktivitäten auf diesem Gebiet zusammenzuführen und die Akzeptanz dieses Programmieransatzes zu stärken, wurde im Rahmen einer internationalen Kooperation ein Vorschlag für eine funktional-logische Standardsprache namens Curry erarbeitet. Der Münsteraner Anteil an dieser Kooperation besteht neben der Mitwirkung am Sprachdesign vor allem in einer effizienten Implementierung von Curry. Hierzu wurden eine hierauf zugeschnittene abstrakte Maschine entwickelt und implementiert sowie ein Compiler erstellt, der Curry-Programme in Code für diese abstrakte Maschine übersetzt.

Prof. Kuchen gehört dem Institut für Wirtschaftsinformatik an. Weitere Details zu den Forschungsprojekten dieses Arbeitsbereichs finden sich daher im Forschungsbericht des Instituts für Wirtschaftsinformatik.

Beteiligte Wissenschaftler:

Prof. Dr. H. Kuchen, W. Lux