Funktional-Logische Programmiersprachen

Die Kombination Funktionaler und Logischer Programmiersprachen wurde in verschiedener Weise durchgeführt.

DFG Projekt EXSPEC (Ausführbare Spezifikationen als logische Programme höherer Ordnung)