masculino(gildasio).
masculino(highlander).
masculino(richard).
masculino(flavio).
feminino(miriam).
feminino(khadija).
feminino(jennifer).
feminino(geise).
feminino(joice).
feminino(nicole).
feminino(isadora).
feminino(lorrana).
feminino(laura).
feminino(diana).
idade(gildasio, 53).
idade(highlander, 22).
idade(richard, 27).
idade(flavio, 25).
idade(miriam, 53).
idade(khadija, 22).
idade(jennifer, 33).
idade(geise, 30).
idade(joice, 26).
idade(nicole, 17).
idade(isadora, 5).
idade(lorrana, 9).
idade(laura, 7).
idade(diana, 1).
genitor(gildasio, highlander).
genitor(gildasio, khadija).
genitor(miriam, khadija).
genitor(miriam, highlander).
genitor(miriam, jennifer).
genitor(miriam, geise).
genitor(miriam, joice).
genitor(miriam, richard).
genitor(miriam, flavio).
genitor(jennifer, lorrana).
genitor(jennifer, laura).
genitor(geise, nicole).
genitor(geise, isadora).
genitor(khadija, diana).
1. Quais são os homens na família que possuem filhos?
?- masculino(X), genitor(X,Y).
Resultado: X = gildasio, Y = highlander ; X = gildasio, Y = khadija ; false.
2. Quem são as filhas da família?
?- genitor(X,Y), feminino(Y).
Resultado: X = gildasio, Y = khadija ; X = miriam, Y = khadija ; X = miriam, Y = jennifer ; X = miriam, Y = geise ; X = miriam, Y = joice ; X = jennifer, Y = lorrana ; X = jennifer, Y = laura ; X = geise, Y = nicole ; X = geise, Y = isadora ; X = khadija, Y = diana.
3. Quais são as mulheres com mais de 30 anos?
?- feminino(X), idade(X,Y), Y>30
Resultado: X = miriam, Y = 53 ; X = jennifer, Y = 33 ; false.
4. Quais são os netos?
?- genitor(X,Y),genitor(Y,Z).
Resultado: X = gildasio, Y = khadija, Z = diana ; X = miriam, Y = khadija, Z = diana ; X = miriam, Y = jennifer, Z = lorrana ; X = miriam, Y = jennifer, Z = laura ; X = miriam, Y = geise, Z = nicole ; X = miriam, Y = geise, Z = isadora ; false.
5. Quais são meus irmãos?
?- genitor(X,highlander),genitor(X,Y).
Resultado: X = gildasio, Y = highlander ; X = gildasio, Y = khadija ; X = miriam, Y = khadija ; X = miriam, Y = highlander ; X = miriam, Y = jennifer ; X = miriam, Y = geise ; X = miriam, Y = joice ; X = miriam, Y = richard ; X = miriam, Y = flavio.