% Author: Peter Schneider-Kamp % terminating %query: p(o). p(X) :- q(X), r(X). p(X) :- X=2. q(X) :- X=1,!. q(X) :- X=3. r(X) :- X=1,!. r(X) :- X=4. =(X,X).
content may be truncated. 'popout' for larger text window.