S(a,a).
S(a,b):- a(c,b),b(a,d) , S(d,c).