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.

1.14.1                                            December 2016                                         PAKCS(1)