anthem/examples/hide-circular-dependency.lp

11 lines
165 B
Plaintext
Raw Permalink Normal View History

a(X) :- circle1(X).
circle1(X) :- circle2(X).
circle2(X) :- circle3(X).
circle3(X) :- circle1(X).
#show a/1.
%#show circle1/1.
%#show circle2/1.
%#show circle3/1.