%query: p(o,o,o). p(X,Y,Z) :- X=Y,Z=1,!. p(X,Y,Z) :- Z=1,Y=X,p(X,Y,Z). =(X,X).
content may be truncated. 'popout' for larger text window.