Downloading PAKCS

The PAKCS distribution is available for Sun Solaris, Linux, or Mac OS X systems. The installation requires an installed Prolog system, e.g., SICStus-Prolog (Version 3 #5 or higher) (recommended) or SWI-Prolog (if you do not have SICStus-Prolog, but then the execution is less efficient). If they are already installed on your system and you have the names of their executables in your path (sicstus for SICStus-Prolog, or pl for SWI-Prolog), you can install PAKCS by decoding the tar archive and a "make" command, e.g., by 

tar xvzf pakcs_Linux.tar.gz
cd pakcs
make

(see also the installation instructions for more details). If you install PAKCS from the source code distribution, you need also the Glasgow Haskell Compiler (executable ghc) to compile the front end of PAKCS.

Below you will the latest version of PAKCS and some older major releases. The following material is useful if you want to install the PAKCS distribution:

Current release:

PAKCS Version 1.9.1 (19/05/08)

Description File
Source code (requires ghc) pakcs_src.tar.gz
Linux / x86 pakcs_Linux.tar.gz (built on Debian 4.0)
SunOS / Sparc pakcs_SunOS.tar.gz (built on SunOS 5.10)
Mac OS X / Intel pakcs_Darwin.tar.gz

Older releases:

PAKCS Version 1.9.0 (14/12/07)

Description File
Source code (requires ghc) pakcs_1.9.0_src.tar.gz
Linux / x86 pakcs_1.9.0_Linux.tar.gz (built on SuSE 9.1)
SunOS / Sparc pakcs_1.9.0_SunOS.tar.gz (built on SunOS 5.10)
Mac OS X / PowerPC pakcs_1.9.0_Darwin.tar.gz

PAKCS Version 1.8.1 (31/10/07)

Description File
Source code (requires ghc) pakcs_src.tar.gz
Linux / x86 pakcs_Linux.tar.gz (built on SuSE 9.1)
SunOS / Sparc pakcs_SunOS.tar.gz (built on SunOS 5.10)
Mac OS X / PowerPC pakcs_Darwin.tar.gz

PAKCS Version 1.8.0 (27/03/07)

Description File
Source code (requires ghc) pakcs_src.tar.gz
Linux / x86 pakcs_Linux.tar.gz (built on SuSE 9.1)
SunOS / Sparc pakcs_SunOS.tar.gz (built on SunOS 5.10)
Mac OS X / PowerPC pakcs_Darwin.tar.gz

PAKCS Version 1.7.3 (27/02/07)

Description File
Source code (requires ghc) pakcs_1.7.3_src.tar.gz
Linux / x86 pakcs_1.7.3_Linux.tar.gz (built on SuSE 9.1)
SunOS / Sparc pakcs_1.7.3_SunOS.tar.gz (built on SunOS 5.10)
Mac OS X / PowerPC pakcs_1.7.3_Darwin.tar.gz

PAKCS Version 1.7.2 (29/03/06)

Description File
Source code (requires ghc) pakcs_1.7.2_src.tar.gz
Linux / x86 pakcs_1.7.2_Linux.tar.gz (built on SuSE 9.1)
SunOS / Sparc pakcs_1.7.2_SunOS.tar.gz (built on SunOS 5.9)
Mac OS X / PowerPC pakcs_1.7.2_Darwin.tar.gz

Note: This version is almost compatible with the Curry language as described in the Curry report version 0.8.2.

PAKCS Version 1.7.1 (13/03/06)

Description File
Source code (requires ghc) pakcs_1.7.1_src.tar.gz
Linux / x86 pakcs_1.7.1_Linux.tar.gz (built on SuSE 9.1)
SunOS / Sparc pakcs_1.7.1_SunOS.tar.gz (built on SunOS 5.9)
Mac OS X / PowerPC pakcs_1.7.1_Darwin.tar.gz

Note: In contrast to older releases (1.6.x), this version contains a new improved front-end adapted from the Münster Curry Compiler. Furthermore, this version is also executable with the free software system SWI-Prolog.

PAKCS Version 1.7.0 (06/12/05)

Description File
Source code (requires ghc) pakcs_1.7.0_src.tar.gz
Linux / x86 pakcs_1.7.0_Linux.tar.gz (built on SuSE 9.1)
SunOS / Sparc pakcs_1.7.0_SunOS.tar.gz (built on SunOS 5.9)

Note: In contrast to older releases (1.6.x), this version contains a new improved front-end adapted from the Münster Curry Compiler. Furthermore, this version is also executable with the free software system SWI-Prolog.

The following older releases require an installed Java system:

PAKCS Version 1.6.1-5 (23/10/05)

Description File
Source code pakcs.tar.gz
Source code with precompiled libraries pakcslib.tar.gz

Note: The distribution with precompiled libraries is slightly larger but needs considerable less time for the installation.

PAKCS Version 1.6.1 (30/09/05)

Description File
Source code pakcs_1.6.1.tgz
Source code with precompiled libraries pakcs_1.6.1_lib.tgz

Note: The distribution with precompiled libraries is slightly larger but needs considerable less time for the installation.

PAKCS Version 1.6.0 (15/10/04)

Description File
Source code pakcs_1.6.0.tgz
Michael Hanus

Last modified: Fri May 23 10:11:20 CEST 2008