COALA(1) General Commands Manual COALA(1)
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).
March 4, 2010 COALA(1)
