Provided by: gringo_3.0.3-7_amd64 bug

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)