r1(X,Y).
r2(U,V).
joined(A,B,C):-r1(A,B),r2(B,C).
antijoined(A,B):-r1(A,B),~r2(B,C).
p(X,Y):-joined(A,B,C).
?-p(X,Y).
