CODEWITHSUNDEEP
logic-programminganswer-set-programmingclingogringo
user1747134
user1747134

Reputation: 2472

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

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.

Upvotes: 1

Views: 72

Answers (1)

NTP
NTP

Reputation: 4448

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

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

Upvotes: 0

Related Questions