1. Quais são os homens na família que possuem filhos?
?- masculino(X), genitor(X,Y).
Resultado: X = eduardo,
Y = mariaeduarda ;
X = eduardo,
Y = nycolas ;
2. Quem são as filhas da família?
?- genitor(X,Y), feminino(Y).
Resultado:
X = eduardo,
Y = mariaeduarda ;
X = libia,
Y = mariaeduarda ;
false.
3. Quais são as mulheres com mais de 30 anos?
?- feminino(X), idade(X,Y), Y>30
Resultado: X = libia,
Y = 35 ;
false.
4. Quais são os netos?
?- genitor(X,Y),genitor(Y,Z).
Resultado: X = eduardo,
Y = mariaeduarda,
Z = arthur ;
X = eduardo,
Y = mariaeduarda,
Z = ravi ;
X = libia,
Y = mariaeduarda,
Z = arthur ;
X = libia,
Y = mariaeduarda,
Z = ravi ;
false.
5. Quais são meus irmãos?
?- genitor(X,highlander),genitor(X,Y).
Resultado: X = eduardo,
Y = mariaeduarda ;
X = eduardo,
Y = nycolas ;
X = libia,
Y = mariaeduarda ;
X = libia,
Y = nycolas.