Как запретить обоснование ложных фактов в Программе набора ответов /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) из множества заземленных атомов? Можно ли это как-то отключить? Вывод гринго моей программы раздут от этого и значительно замедляет его.

Answer 1

Ты можешь использовать #show директива для отображения только тех результатов, которые вы хотите видеть, например,

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