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