pakcs - the Portland Aachen Kiel Curry System
Contents
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.
Name
pakcs - the Portland Aachen Kiel Curry System
Options
Invoke interactive environment:
pakcs<options> [ -- <run-timearguments>]
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
Synopsis
pakcs[OPTIONS]
