ancestor(Old,Young) :-
   ancestor(Old,Middle), 
   ancestor(Middle,Young).
ancestor(Old,Young) :- 
   parent(Old,Young).