Curry

Paradigms	constraint programming, logic programming, functional programming
Typing discipline	static typing, inference typing, strong typing
First appeared	1995
Developer	Kiel University
Type	functional programming language, logic programming language
Influenced by	Haskell, Prolog
License	3-clause BSD License
Latest version	3.8.0
Website	curry-lang.org