PAKCS:

The Portland Aachen Kiel

System

(Version 1.3 of December 15, 2000)

PAKCS is an 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. Although this is not a highly optimized implementation but based on a high-level compilation of Curry programs into Prolog (or Java) programs, it is not a toy implementation but has been used for a variety of applications (e.g., a graphical programming environment, an object-oriented front-end for Curry, a partial evaluator, database applications, HTML programming with dynamic web pages, prototyping embedded systems). Thus, the size of all current applications implemented with PAKCS amounts to more than 32,000 lines (or 1.1 mbytes) of program code.

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.

The PAKCS distribution comes with a collection of libraries that are useful for application programming. A short description of these libraries can be found here.

A PAKCS distribution for Sun Solaris or Linux systems is available as a gzipped tar file (you can also get our latest version which might not be stable).
The installation instructions are also available here and the release notes can be found here.

You can also run your Curry program using our interactive WWW interface to the PAKCS Curry2Prolog compiler. Note that there is time limit for the execution of Curry programs and some predefined system functions (like reading/writing files) are not available due to security reasons.

This might also of interest for PAKCS users:

• CIDER: a graphical programming and development environment for Curry