Integration von funktionaler und logischer Programmierung

Funktional-logische Programmiersprachen verbinden die Vorteile funktionaler Sprachen wie Funktionen höherer Ordnnung und verzögerte Auswertung mit den Vorteilen logischer Sprachen wie z.B. einem integrierten Suchmechanismus. In Kooperation mit Forschungsgruppen in u.a. Kiel, Portland und Madrid wurde die funktional-logische Sprache Curry entwickelt. Diese Sprache wurde im Rahmen des Projekts effizient implementiert. Insbesondere wurden eine hierauf zugeschnittene abstrakte Maschine und ein Compiler entwickelt, der Curry-Programme in Code für diese abstrakte Maschine übersetzt. Besonderes Augenmerk wurde der Implementierung der eingekapselten Suche sowie der Integration eines Constraint-Lösers für lineare Constraints über den reellen Zahlen gewidmet. Weiterhin wurde untersucht, inwieweit sich der objektorientierte Ansatz zur Software-Entwicklung mit funktional-logischer Programmierung verbinden läßt.

Beteiligte Wissenschaftler:

Prof. Dr. Herbert Kuchen, Dipl.-Phys. Wolfgang Lux

Veröffentlichungen:

W. Lux, H. Kuchen: An Efficient Abstract Machine for Curry, Proceedings of International Workshop on Functional and Logic Programming, Grenoble, S. 171-181, 1999.

--,: An Efficient Abstract Machine for Curry, Proceedings der GI-Jahrestagung Informatik'99, Springer-Verlag, ISBN 3-540-66450-5, S. 390-399, 1999.

W. Lux: Implementing Encapsulated Search for a Lazy Functional Logic Language, Proceedings of FLOPS'99, LNCS 1722, Springer-Verlag, S. 100-113, 1999.

--,: Adding Linear Constrains over Real Numbers to Curry, Proceedings des Workshops der GI-Fachgruppe 2.1.4, S. 99-108, Bad Honnef, 2000.

--,: Adding Linear Constrains over Real Numbers to Curry, Proceedings of International Workshop on Functional and Logic Programming, S. 427-439, Benicassim, 2000.

H. Kuchen: Implementing an Object Oriented Design in Curry, Proceedings des Workshops der GI-Fachgruppe 2.1.4, S. 87-98, Bad Honnef, 2000.

--,: Implementing an Object Oriented Design in Curry, Proceedings of International Workshop on Functional and Logic Programming, S. 499-509, Benicassim, 2000.