Curry: a Functional Logic Language

Sure I may be a Mercury fanboi, but there are actually other functional logic languages out there. Curry is one of those. From the blurb: "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'."