Curry is a modern functional logic language.
In its homepage you will find the language reference manual,
a tutorial introduction, pointers to various implementations
and relevant literature, and the mailing list among other things.
Tutorial, an on-line "in progress" document discussing
the key features of the Curry programming language.
This is currently the main compiler/interpreter of Curry.
It is freely downloadable and usable.
It requires an installation of either
SWI Prolog (free)
or SICStus Prolog (license).
of Design Patterns A set of examples employing some more advanced
techniques presented in the form of functional logic design patterns.
Rewriting is the environment for narrowing computations.
Narrowing is the "glue" that joins the functional and logic
is primarily an interactive source code editor that lets you write
small programs and execute them online in various programming
Last update Thu Aug 31 08:58:38 PDT 2017