Functional Logic - Musharof Chy
Curry
Multiparadigm declarative programming language seamlessly merges functional, logic, and concurrent ...
Functional Logic Programming
Michael Hanus's pages on amalgamating functional and logic programming.
LPG
Generic functional logic language: functions defined by conditional rewrite rules, predicates defin...
RELFUN
Relational-Functional Language: logic-programming language with call-by-value (eager) expressions o...
ALF
Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic...
HAL
Strongly typed, weakly moded, constraint-logic functional language designed to support construction...
Escher
Declarative, general-purpose language, merges best features of functional and logic languages. Has ...
The Mercury Project
Logic/functional programming language which combines the clarity and expressiveness of declarative ...