genitor(pam, bob).
genitor(tom, bob).
genitor(tom, liz).
genitor(bob, ann).
genitor(bob, pat).
genitor(pat, jim).

mulher(pam).
mulher(z).
mulher(pat).
mulher(ann).

homem(tom).
homem(bob).
homem(jim).

prole(Y, X) :-genitor(X, Y).

mae(X, Y) :-genitor(X, Y),
            mulher(X).

avos(X, Z) :-genitor(X, Y),
             genitor(Y, Z).

irma(X, Y) :-genitor(Z, X),
             genitor(Z, Y),
             mulher(X), not(X = 1).

descendente(X, Z) :-genitor(X, Y).
descendente(X, Z) :-genitor(X, Y),
                    descendente(Y, Z).

/*
Questão 1:

    faixa_etaria(Idade) :-Idade =< 12 -> write('Crianca');
                        (12 < Idade, Idade =< 18) -> write('Adolescente');
                        (18 < Idade, Idade =< 65) -> write('Adulto');
                        (65 < Idade) -> write('Idoso').

Questão 2-3:
    1) X = pat.
    2) false.
    3) X = bob.
    4) X = bob,
       Y = pat.

Questão 4:
    1) genitor(X, pat).
    2) prole(Y, liz).
    3) avos(X, pat), not(mulher(X)).
*/