O documento lista fatos genealógicos sobre membros de uma família, incluindo quem é a mãe e pai de certos indivíduos, primos, netos, bisavós e bisavôs. Regras lógicas são fornecidas para deduzir essas relações com base nos fatos fornecidos, como quem nasceu de quem.

1. Elementos do grupo 1
Afonso Aurélio
Dionísio Faustino
José Canivete
Herculano Ndele

2. 1.Quem é a mãe da Barbosa?
2.Quem é o pai do Simba?
3.Quem são os primos do Feca?
4.Quem são os primos do Adelino?
5.Quem é neto da Barbosa?
6.Quem é neto do Simba?
7.Quem é o filho da Bruna?
8.Quem é avó do Candieiro?
9.Quem é Bisavó da Buiti?
10.Quem é Bisavô do Candieiro?

3. % Factos
nasceu(adália,barbosa).
nasceu(pedro,barbosa).
nasceu(pedro,simba).
nasceu(barbosa,adelino).
nasceu(barbosa,martins).
nasceu(martins,buiti).
nasceu(simba,feca).
nasceu(simba,bruna).
nasceu(bruna,candieiro).
mulher(adalia).
mulher(barbosa).
mulher(bruna).
homem(pedro).
homem(adelino).
homem(martins).
homem(buiti).
homem(feca).
homem(simba).
homem(candieiro).

4. pai(X,simba):-nasceu(X,simba),homem(X).
pai(X,Y):-nasceu(X,Y).
pai(X,barbosa):-nasceu(X,barbosa),homem(X).
mae(X,barbosa):-nasceu(X,barbosa),mulher(X).
irmao(X,Y):-pai(P,X),pai(P,Y),X=Y.
primo(X, feca):-pai(P,X),pai(Q,feca),irmao(P,Q).
primo(X, adelino):-pai(P,X),pai(Q,adelino),irmao(P,Q).
neto(X,barbosa):-pai(barbosa,Y),nasceu(Y,X),mulher(barbosa).
neto(X,simba):-pai(simba,Y),nasceu(Y,X),homem(simba).
filho(X,bruna):- nasceu(bruna,X),homem(X).
bisavo(X,buiti):- nasceu(X,P),nasceu(P,Q),nasceu(Q,buiti).
bisavo(X,candieiro):-
nasceu(X,P),nasceu(P,Q),nasceu(Q,candieiro).

5. Resultados da Pesquisa

6. Resultados da Pesquisa