parent(alex,bill).
parent(bill,charlie).
parent(charlie,don).
parent(don,eugene).
parent(eugene,felicia).
parent(felicia,george).
parent(george,helen).
parent(helen,ian).
parent(ian,john).
parent(john,katy).
parent(katy,lia).

ancestor(X,Y):-parent(X,Y).
ancestor(X,Y):-parent(X,Z), ancestor(Z,Y).

paragontiko(1,1).
paragontiko(X,Y):- X>1, X2 is X-1, paragontiko(X2,Y2),Y is Y2*X.
