当我在我的程序上运行 gringo 时，它会产生许多形式为基础的语句
:- foo(a,b).
然后我还获得了许多有根据的约束，例如：
:- bar(a,x,y), foo(a,b).
鉴于以上知识，这些完全没有用。
请注意，这些都是以下形式的规则的接地版本：
:- foo(I, J), bar(I, X, B), quux(J, X, @f(B)).
为什么输出中甚至存在接地规则？为什么外国佬不直接foo(a,b)从接地原子集合中排除？我可以以某种方式禁用它吗？我的程序的 gringo 输出因此变得臃肿，并且显着减慢了它的速度。