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)

ICLINGO(1)						      General Commands Manual							ICLINGO(1)

NAME

       iclingo - an incremental ASP system

SYNOPSIS

       iclingo [options][files]

DESCRIPTION

       This manual page documents briefly the iclingo command.

       iclingo	is  an	incremental  ASP  system implemented on top of clingo. It is based on the idea that the grounder as well as the solver are
       implemented in a stateful way. Thus, both keep their previous states while increasing an incremental parameter. As  regards  grounding,	at
       each  incremental  step,  the  goal  is to produce only ground rules stemming from the current program slice, without re-producing previous
       ground rules. The ground program slices are then gradually passed to the solver that accumulates ground rules and computes answer sets  for
       them.

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), gringo(1).

AUTHOR

       iclingo 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							ICLINGO(1)