1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
Source: gringo
Section: interpreters
Priority: extra
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
DM-Upload-Allowed: yes
Build-Depends: debhelper (>= 8.0.0),
cmake,
re2c,
libboost-filesystem-dev,
libboost-system-dev,
liblua5.1-dev
Standards-Version: 3.9.3
Vcs-Git: git://git.debian.org/git/debian-science/packages/gringo.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/gringo.git
Homepage: http://potassco.sourceforge.net/
Package: gringo
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Recommends: clasp
Suggests: potassco-guide
Replaces: clingo, iclingo
Conflicts: clingo, iclingo
Description: grounding tools for (disjunctive) logic 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.
.
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.
|
