PAKCS:

The Portland Aachen Kiel

System

(Version 1.2 of June 6, 2000)

PAKCS is a prototypical implementation of the multi-paradigm declarative language Curry jointly developed by the Portland State University, the Aachen University of Technology, and the University of Kiel.

There is a manual which describes the use of the system and the minor restrictions of PAKCS compared to Curry. Since this document compares only PAKCS to Curry, you may have a look at the Curry report which describes the full language.

A PAKCS distribution for Sun Solaris or Linux systems is available as a gzipped tar file.
The installation instructions are also available here.

You can also run your Curry program using our interactive WWW interface to the PAKCS TasteCurry interpreter or our interactive WWW interface to the PAKCS Curry2Prolog compiler. Note that this interpreter is very slow and thus not intended for developing larger applications programs. In particular, there is a restriction in the number of reduction steps allowed in a derivation.