tutotial_01.lp 57 Bytes
Edit Raw Blame History



1

2

3

4

5


p(1;2).
q(1;2).
r(X,Y) :- p(X), q(Y), X != Y.

#show r/2.