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

/* How would you define the ancestor clause */