Curry
Curry, short for Curry Programming Language, was created by Michael Hanus in 1995. Curry is a functional logic programming language that combines features of Haskell and logic programming paradigms to enable declarative programming with lazy evaluation, higher-order functions, and non-deterministic search.