Base de Conhecimento:
genitor(inocencio,cleomar).
genitor(nalva,cleomar).
genitor(clemente,neusa).
genitor(geralda,neusa).
genitor(cleomar,danillo).
genitor(neusa,danillo).
genitor(cleomar,marcela).
genitor(neusa,marcela).
masculino(inocencio).
masculino(clemente).
masculino(cleomar).
masculino(danillo).
feminino(nalva).
feminino(geralda).
feminino(neusa).
feminino(marcela).
pet(danillo,ronaldo).
pet(marcela,katty_perry).
pet(marcela, gente_boa).
pet(danillo, minecraft).
pet(danillo, roblox).
pet(cleomar, chuteira).
pet(cleomar, piaui).
animal(ronaldo,gato).
animal(katty_perry,calopsita).
animal(gente_boa,calopsita).
animal(minecraft,calopsita).
animal(roblox,calopsita).
animal(chuteira,calopsita).
animal(piaui,calopsita).
idade(inocencio,82).
idade(nalva,75).
idade(clemente,morto).
idade(geralda,68).
idade(cleomar,56).
idade(neusa,45).
idade(danillo,16).
idade(marcela,13).
CÓDIGOS:
1. Quais são os homens na família que possuem filhos?
?- masculino(X), genitor(X,Y).
Resultado: X = inocencio, Y = cleomar ; X = clemente, Y = neusa ; X = cleomar, Y = danillo ; X = cleomar, Y = marcela.
2. Quem são as filhas da família?
?- genitor(X,Y), feminino(Y).
Resultado: X = clemente, Y = neusa ; X = cleomar, Y = marcela ; X = neusa, Y = marcela ;
3. Quais são as mulheres com mais de 30 anos?
?- feminino(X), idade(X,Y), Y>30
Resultado: X = nalva, Y = 75 ; X = geralda, Y = 68 ; X = neusa, Y = 45 ; false.
4. Quais são os netos?
?- genitor(X,Y),genitor(Y,Z).
Resultado: X = inocencio, Y = cleomar, Z = danillo ; X = nalva, Y = cleomar, Z = danillo ; X = geralda, Y = neusa, Z = danillo ; X = clemente, Y = neusa, Z = danillo ; X = inocencio, Y = cleomar, Z = marcela ; X = nalva, Y = cleomar, Z = marcela ; X = geralda, Y = neusa, Z = marcela ; X = clemente, Y = neusa, Z = marcela ; false.
5. Quais são meus irmãos?
?- genitor(X,danillo),genitor(X,Y).
Resultado: X = cleomar, Y = danillo ; X = cleomar, Y = marcela ; X = neusa, Y = danillo ; X = neusa, Y = marcela;