uncle_of(U,C) :- brother_of(U,P),parent_of(P,C).