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)