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)
