son(X,Y) :- father(Y,X), male(X).
grandfather(X,Z) :- father(X,Y), father(Y,Z).