Debian logoDebian Screenshots >


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-compatible 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.
 - reify: small utility that reifies logic program, given in smodels
   format. It produces a set of facts that can be processed further
   with gringo.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.



2147 other people were interested in this package here. The newest known version of this software is 5.4.0-2 (Information last updated about 9 hours ago.)