Curry is a functional logic programming language, based on the Haskell language.
*Wikipedia:Curry (programming language)