Curry (programming language)
Curry is a declarative programming language, an implementation of the functional logic programming paradigm, and based on the Haskell language. It merges elements of functional and logic programming, including constraint programming integration.
Source: Wikipedia — Curry (programming language) (CC BY-SA 4.0)