S(a,b):-  S_A(c,c,a,b).
S_A(a,b,c,d):- a(e,d),b(b,f),c(g,a),d(c,h) , S_A(g,f,h,e).
S_A(a,b,a,b).
