A grounder for logic programs -Current ASP 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.
A grounder for logic programs -Current ASP 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.
暂无评论!
登录后,可以进行留言或者评论,点击登录