father(john,harry).
father(john,charles).
father(harry,michael).
grandfather(X,Y) :- father(X,Z), father(Z,Y).

