如何禁止答案集编程/Gringo中的虚假事实接地

Question

当我在我的程序上运行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输出因此而变得臃肿，并且明显减慢了它的速度。

Answer 1

您可以使用#show指令仅显示您想要查看的结果，例如，

#show foo/2.
#show bar/3.