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 Report. The language reference manual contains the definition of the language. Look for the tutorial below for an introduction to the language.
• 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 a SWI Prolog or SICStus Prolog installation.
• The PAKCS compiler/interpreter of Curry is available on the CS Dept systems as a "package". If you are using the bash shell, make sure that /pkgs/pakcs/bin appears in your path environment variable.
• ACM Examples. A set of ACM Programming Contest problems implemented in Curry.
• Pattern Examples. 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.
• FLP research at PSU. Description of the research on functional logic programming at PSU.

Contacts: antoy@cs.pdx.edu
Last updated: Mon Jan 9 11:18:49 PST 2006