Curry Wiki
If you are not automatically redirected
within 3 seconds please use this link to the
Curry Wiki.
Curry is a universal programming language aiming to
amalgamate the most important declarative programming paradigms,
namely functional programming and logic programming. Moreover, it also
covers the most important operational principles developed in the area
of integrated functional logic languages: ''residuation'' and
''narrowing''.