PAKCS Resources

Summary

This page is intended for newcomers to PAKCS, the Portland Aachen Kiel Curry System. It contains links to distribution sites, to local documentation, to examples, and a short overview of the use of the compiler interpreter.

Links

Downloading and installing PAKCS

This section tells you where to find the distribution of PAKCS, what to download and what is needed on the host computer. If you are reading this file, you may have already downloaded and installed the PAKCS distribution. Thus, this section may not be of interest to you.

Q: Where can I run PAKCS?
A: PAKCS runs under Linux and Solaris.

Q: What software do I need to install to run PAKCS?
A: The host computer must have installed both Java and SICStus Prolog.

Q: Where can I download PAKCS?
A: There is an official site at the University of Kiel. There is also a mirror site at Portland State.

Q: What should I download to run PAKCS?
A: Look for "PAKCS distribution" in a PAKCS website. The distribution consists of a gzipped tar archive of about 2Mb. It includes all you need to run PAKCS plus several libraries, documentation and examples.

Q: Do I need a license to run PAKCS
A: No. However, you may need a license for both Solaris and SICStus Prolog.

Q: How do I install PAKCS?
A: Open the downloaded archive using the Unix command tar zxf ~/pakcs.tgz. This will create a directory called pakcs. Follow the instructions contained in the file INSTALL.html in this directory.

Running the first program

This section tells you how to execute your first Curry program. It assumes a successful installation of PAKCS. PAKCS is installed by a script that also tests the correctness of the installation.

Learning more

This section contains links to both resource coming with the distribution and external resources for learning Curry and using PAKCS.

Curry Report

This document precisely describes the Curry programming language. It is appropriate as a reference for all the technical aspects of the language, but it may be difficult for the beginner.
PAKCS User Manual (pdf version)
This document describes the use of the PAKCS compiler/interpreter and the differences between the implementation and the Curry Report.
Tutorial
This document, still incomplete at the time of this writing, is an introduction to the Curry programming language suitable for the beginner.
Libraries
The PAKCS distribution comes with a collection of libraries for application programming. The documentation of these libraries is generated by the currydoc tool, which is optionally executed during the installation. It allows a developer to navigate the interfaces of the libraries.
Examples
This document is an index to a collection of small examples contained in the standard distribution. They may be useful to get a sense of the Curry features and how they can be used.
PAKCS Homepage
This site contains the current and latest distributions, links to several resources, information about developers and sponsors, etc.
Curry Homepage
This site is the starting point of information about the programming language Curry of which PAKCS is the most advanced compiler/interpreter.
FLP Patterns
This site contains a collection of Functional Logic Patterns, advanced programming solutions to recurring non-trivial problems. It may be interesting to more experienced developers.
PNW 2001 ACM Context
Curry implementations of the set of problems of the Pacific NW Regional selection of the 2001 ACM programming context.
COOSy
This site describes COOSy, the Curry Object Observation System, a lightweight approach for debugging Curry programs by observations.
Cider
This site describes Cider, an integrated development environment for Curry in Curry. Its main emphasis is on the analysis and debugging of Curry programs.

Last updated: Mon Oct 14 10:34:32 MEST 2002