RECENT POSTS

Gringo

May 26, 2018

Grounding algorithm based on semi-naive database evaluation

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. Gringo is such a grounder. Its output can be processed further with clasp.

WWW http//potassco.sourceforge.net/