Resources

• Curry homepage. 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.
• Curry Tutorial, an on-line "in progress" document discussing the key features of the Curry programming language.
• PAKCS distribution. 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).
• Catalog of Design Patterns A set of examples employing some more advanced techniques presented in the form of functional logic design patterns.
• Rewriting homepage. Rewriting is the environment for narrowing computations. Narrowing is the "glue" that joins the functional and logic programming paradigms.
• Smap is primarily an interactive source code editor that lets you write small programs and execute them online in various programming languages.

Contacts: antoy@cs.pdx.edu
Last update Thu Aug 31 08:58:38 PDT 2017