questão da apol 4.

Boa noite alguem conseguiu fazer essa questao?

Suponha o sistema abaixo em PROLOG para a descoberta de conhecimento sobre árvore genealógica. Existe a cláusula “progenitor” indicando que o indivíduo no primeiro argumento é progenitor do indivíduo no segundo argumento. Duas regras são criadas para inferir “irmão” e “primo”, a partir de “progenitor”.

progenitor(José, Luiz).

progenitor(José, Carlos).

progenitor(Carlos, Maria).

progenitor(Luiz,Sandro).

irmão(X,Y) :- progenitor(Z,X),progenitor(Z,Y).

primo(X,Y) :- progenitor(Z,X),progenitor(W,Y), irmão(Z,W).

Após a execução deste programa no PROLOG, assinale as consultas a seguir com “V” para verdadeira ou “F” para falsa:

( ) irmão(Maria,Sandro).

( ) primo(Maria, Sandro).

( ) progenitor(José, Y), com Y = Luiz, Y = Carlos.

( ) primo(Carlos, Luiz).

( ) progenitor(Maria,Y).