Filewatcher File Search File Search
Catalog
Content Search
» » » » »

gringo

grounding tools for (disjunctive) logic programs

Variants:
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.

This package contains the following tools:

- gringo: creates lparse-compatbile variable-free programs. - clingo: stands for clasp on gringo and combines both systems in a monolithic way. Its input language is that of gringo and its output corresponds to that of clasp. - iclingo: an incremental answer set programming 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.

Homepage:
Package version:3.0.4-3
Architecture:kfreebsd-amd64
Distribution:Debian
Filename:gringo_3.0.4-3_kfreebsd-amd64.deb

/usr/share/doc/gringo/README

Gringo - A bottom up grounder for logic programs
------------------------------------------------

Gringo is distributed under the GNU Public Licence, see file COPYING for
details. Gringo-3.x should accept almost all gringo-2.x programs plus some 
language constructs that were not present in previous versions. Additional 
features include:
 - Relaxed restrictions on programs (safe programs)
 - No 
more»

/usr/share/man/man1/clingo.1.gz

CLINGO(1)                                                  CLINGO(1)



NAME
       clingo - a combination of clasp and gringo

SYNOPSIS
       clingo [options][files]

DESCRIPTION
       This manual page documents briefly the clingo command.

       clingo  stands  for clasp on gringo and combines both systems
       in a monolithic way. Its input language is that of gringo and
       its output 
more»

/usr/share/man/man1/gringo.1.gz

GRINGO(1)                                                  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. Cur‐
       rent answer  set  solvers  work  on  variable-free  programs.
       He
more»

/usr/share/man/man1/iclingo.1.gz

ICLINGO(1)                                                ICLINGO(1)



NAME
       iclingo - an inc
more»

/usr/share/doc/gringo/changelog.Debian.gz

gringo (3.0.4-3) unstable; urgency=low

  * Bug fix: "please build-depend on unversionend boost libr
more»

/usr/share/doc/gringo/changelog.gz

gringo 3.0.4
	* fixed broken #include directive
	* fixed preprocessing of ';' in terms
	* fixed some
more»

/usr/share/doc/gringo/copyright

Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174
Upstream-Name: gringo
U
more»

Browse inside gringo_3.0.4-3_kfreebsd-amd64.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download gringo_3.0.4-3_kfreebsd-amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com