father(dick,dennis).
father(dick,ken).
father(john,dick).

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