---
name: "pakcs"
section: "1"
platform: "linux"
package: "pakcs"
version: "3.3.0-1"
release: "Debian 11 (Bullseye)"
platforms: ["linux"]
url: "https://new.carta.tech/pakcs"
---

# pakcs(1)

the Portland Aachen Kiel Curry System

## NAME

pakcs - the Portland Aachen Kiel Curry System

## SYNOPSIS

**pakcs** *\[OPTIONS\]*

## DESCRIPTION

PAKCS is an implementation of the functional logic language Curry (http://currry-language.org) which compiles Curry programs into Prolog programs. Detailed information about PAKCS can be found at https://www.informatik.uni-kiel.de/~pakcs/

The command pakcs either invokes the interactive environment to compile and run Curry programs.

## OPTIONS

Invoke interactive environment:

- **pakcs** *\<options\>* \[ -- *\<run-time arguments\>*\]

  with options:

- **--h**, **--help**, **-?**

  show this message and quit

- **-V**, **--version**

  show version and quit

- **--compiler-name**

  show the compiler name "pakcs" and quit

- **--numeric-version**

  show the compiler version number and quit

- **--base-version**

  show the version of the base libraries and quit

- **-q**, **--quiet**

  work silently

- **--nocypm**

  do not invoke "cypm" to compute package load path

- **--noreadline**

  do not use input line editing via command "rlwrap"

- **-D***\<prop\>***=***val*

  define pakcsrc property "prop" as "val" :\<cmd\> \<args\> : command of the PAKCS environment

## AUTHOR

This manual page has been written by Michael Hanus and converted to nroff format by Mike Gabriel \<mike.gabriel@das-netzwerkteam.de\>. This man page has been written for the Debian project initially, but may also be used by others.