NAME¶
coala - a versatile compiler from action languages to answer set programs
SYNOPSIS¶
coala [options]
file[number]
DESCRIPTION¶
This manual page documents briefly the
coala command.
coala is a versatile compiler from action languages to answer set
programs. It supports different encodings, variables and LTL style queries. It
translates an action language into a logic program under the answer set
semantics. After being grounded by
lparse or
gringo, the logic
program can be solved by an answer set solver such as
clasp. At the
moment
coala is able to translate the action language AL, B, C, a
subset of C+ and the action language CTAID. The type of input language can be
specified with a command line option.
OPTIONS¶
These programs follow the usual GNU command line syntax, with long options
starting with two dashes (`-'). A summary of options is included below. For a
complete description, see the potassco-guide.
- -h, --help
- Show summary of options.
- --version
- Show version of program.
SEE ALSO¶
clasp(1),
gringo(1).
AUTHOR¶
coala was written by Torsten Grote <Torsten.Grote@uni-potsdam.de>
This manual page was written by Thomas Krennwallner
<tkren@kr.tuwien.ac.at>, for the Debian project (and may be used by
others).