:- [samplefamily].

grandparent(X,Y) :- parent(X,Z), parent(Z,Y).