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.