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 or one of the various tools
       (e.g., documentation generation, browsing and analyzing programs, web frameworks, etc).

OPTIONS

       Invoke interactive environment:

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

       with options:

       --h, --help, -?
              show this message and quit

       -V, --version
              show version and quit

       -q, --quiet
              work silently

       --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

       Invoke some tool:

           pakcs <tool> <tool specific options>

       where <tool> is one of:

              addtypes   : add missing signature to top-level operations

              analyze    : analyze various properties (via CASS)

              browse     : browse and analyze

              check      : check properties

              createmake : create make file for main module

              frontend   : Curry front end

              data2xml   : generate XML bindings

              doc        : generate documentation for Curry programs

              erd2cdbi   : create database code for ER model and Database.CDBI libraries

              erd2curry  : create database code for ER model

              makecgi    : translate Curry HTML program into CGI program

              peval      : partially evaluate a program

              pp         : Curry preprocessor

              spiceup    : create web application via Spicey

              style      : check style of source programs

              test       : test assertions (no longer supported)

              verify     : translate Curry module to Agda for property verification

       To get more help about the usage of a tool, type

                  pakcs <tool> -h

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.