rel(1,2). rel(1,3). rel(2,4). rel(2,5).
rel(3,5). rel(3,7). rel(3,8). rel(5,6). rel(5,3).
rel(6,9). rel(6,10).
rel(a,b). rel(b,c). rel(c,a).

r(X,Y):-rel(X,Y).
r(X,Z):-rel(X,Y),r(Y,Z).