How to forbid grounding of false facts in Answer Set Programming/Gringo

Question

When I run gringo on my program, it results into many grounded statements of the form

:- foo(a,b).

Then I also obtain many grounded constraints such as:

:- bar(a,x,y), foo(a,b).

Given the knowledge above, these are totally useless.

Note, these are both grounded versions of a rule in the following form:

:- foo(I, J), bar(I, X, B), quux(J, X, @f(B)).

Why are the grounded rules even present in the output? Why won't gringo just exclude foo(a,b) from the set of grounded atoms? Can I disable it somehow? The gringo output of my program is bloated by this and signifiacantly slows it down.

Answer 1

You can use #show directive to display only the results that you want to see e.g.,

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