% P
tc(X,Y) :- r(X,Y).
tc(X,Y) :- r(X,Z), tc(Z,Y).

r(a,a).
r(a,b).
r(b,c).
r(d,a).

g1 :- tc(a,b).
g2 :- tc(a,c).
g3 :- tc(a,d).
g4 :- tc(b,d).