Funktionallogische Programmierung

Die Funktionallogische Programmierung ist die Vereinigung des funktionalen mit dem logischen Paradigma in einer Programmiersprache. Dies schließt die meisten starken Konzepte der Paradigmen mit ein, dazu gehören Funktionen höherer Ordnung, nicht-deterministische Ausführung und Unifikation. Wegbereiter dieser Schöpfung war λProlog in den Neunzigern-Jahren. Andere, neuere funktionallogische Programmiersprachen sind Curry und Mercury.

↑ Gopalan Nadathur, D. Miller: Logic Programming. Hrsg.: D. M. Gabbay, C. J. Hogger, J. A. Robinson (= Handbook of Logic in Artificial Intelligence and Logic Programming. Band 5). Oxford University Press, 1998, ISBN 0-19-853792-1, Higher-Order Logic Programming, S. 499–590.

[1] Gopalan Nadathur, D. Miller: Logic Programming. Hrsg.: D. M. Gabbay, C. J. Hogger, J. A. Robinson (= Handbook of Logic in Artificial Intelligence and Logic Programming. Band 5). Oxford University Press, 1998, ISBN 0-19-853792-1, Higher-Order Logic Programming, S. 499–590.