progenitor(hugo,hudson).
progenitor(diva,hudson).
progenitor(hugo,irmo).
progenitor(diva,irmo).
progenitor(hugo,irma).
progenitor(diva,irma).
progenitor(vop,hugo).
progenitor(vohp,hugo).
progenitor(vom,diva).
progenitor(vohm,diva).
progenitor(vop,tio).
progenitor(vohp,tio).
progenitor(vop,tia).
progenitor(vohp,tia).

homem(hugo).
homem(hudson).
homem(irmo).
homem(vop).
homem(vom).
homem(tio).

mulher(diva).
mulher(irma).
mulher(vohp).
mulher(vohm).
mulher(tia).



pai(X,Y) :- progenitor(X,Y), homem(X).
mae(X,Y) :- progenitor(X,Y), mulher(X).
filho(X,Y) :- progenitor(Y,X), homem(X).
filha(X,Y) :- progenitor(Y,X), mulher(X).
irmao(X,Y) :- progenitor(A,Y), progenitor(A,X), homem(X), X \== Y.
irma(X,Y) :- progenitor(A,Y), progenitor(A,X), mulher(X), X \== Y.
avo(X,Y) :- progenitor(X,A), progenitor(A,Y), homem(X).
avoh(X,Y) :- progenitor(X,A), progenitor(A,Y), mulher(X).
descendente(X,Y) :- progenitor(Y,X).
descendente(X,Y) :- progenitor(Y,F), progenitor(F,X).











soma(X,X,X).
soma(X,Y,S) :-
    X < Y,
    ProximoX is X+1,
    soma(ProximoX, Y, PS),
    S is PS+X.
soma(X,Y,S) :- soma(Y,X,S).