pakcs1

Usage

Overview

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