S(i,l):- a(i,j) , S(j,k) , b(k,l).
S(i,i) .
