grounder

n.

滚地球，沿地面跳滚的球；

GidL: A grounder for FO+
The Intelligent Grounder of DLV
The intelligent grounder of DLV
GrinGo: a new grounder for answer set programming
GrinGo: A New Grounder for Answer Set Programming
GrinGo : A New Grounder for Answer Set Programming
On the Input Language of ASP Grounder Gringo
On the Input Language of ASP Grounder Gringo
$$\mathcal {I}$$-dlv: The New Intelligent Grounder of dlv
\(\mathcal {I}\) - dlv : The New Intelligent Grounder of dlv