gringo(1) [debian man page]

GRINGO(1)						      General Commands Manual							 GRINGO(1)

NAME

       gringo - a grounder for non-ground logic programs

SYNOPSIS

       gringo [options][files]

DESCRIPTION

       This manual page documents briefly the gringo command.

       gringo  is  a  grounder for non-ground answer set programs. Current answer set solvers work on variable-free programs. Hence, a grounder is
       needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program.

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.

       -v, --version
	      Show version of program.

SEE ALSO

       clasp(1), claspD(1), clingo(1), iclingo(1).

AUTHOR

       gringo was written by Roland Kaminski <kaminski@cs.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							 GRINGO(1)

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)