grandparent_of(Y,X) :- grandchild_of(X,Y).
parent_of(X,Y) :- mother_of(X,Y).
is_person(Y) :- child_in_law_of(X,Y).