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(A,X,Z):-not(member(X,A)),rel(X,Y), r([X|A],Y,Z).
r(X,Y):-r([],X,Y).