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.