k(gti).
k(dm).
not k(cg).
b(alex,X) :- k(X).
b(linda,X) :- t(linda,X).
t(X,Y) :- b(X,Y).