Exercício do Exame Final de 1997: Problema

Observe com cuidado a seguinte Base de Factos

 % exerceProfRisco(S,P)  :-  a pessoa S exerce a profissao P que
%                           'e de alto risco.
         exerceProfRisco(ana,professor) .   exerceProfRisco(rui,professor) .
         exerceProfRisco(to,metalurgico) .  exerceProfRisco(xico,bombeiro) .
         exerceProfRisco(marta,bombeiro) .  exerceProfRisco(hugo,fuzileiro) .
 % fumaMuito(P)  :- a pessoa P fuma muitos cigarros por dia.
fumaMuito(sofia) .                 fumaMuito(rui) .
         fumaMuito(ze) .                    fumaMuito(mariana) .
         fumaMuito(pedro) .
 % dorme(S,H)  :- a pessoa S dorme em media H horas por noite.
dorme(tita,7) .                    dorme(pedro,5) .
         dorme(joao,4) .                    dorme(ze,5) .
         dorme(sofia,6) .                   dorme(mariana,8) .
 % cardiaco(P) :- a pessoa P sofre de doenca do coracao.
cardiaco(nuno) .
         cardiaco(necas) .
         cardiaco(andre) .

e o seguinte programa Prolog

         morreCedo(P) :-  exerceProfRisco(P,_).
         morreCedo(P) :-  fumaMuito(P),  dormePouco(P).
         morreCedo(P) :-  cardiaco(P).

         dormePouco(P) :-  dorme(P,H),  H < 6.

Responda, então, às alíneas seguintes:

a)

Usando a Árvore de Prova, diga qual a resposta de um Interpretador de Prolog (IP), à questão

         morreCedo( pedro ).

b)

Usando a Árvore de Procura, mostre todas as respostas que um Interpretador de Prolog (IP), daria à questão

         dormePouco( QUEM ).

c)

Usando a Árvore de Procura, mostre que um Interpretador de Prolog (IP), teria de fazer backtracking (automático) para responder afirmativamente, "yes", à questão

         morreCedo( nuno ).

d)

Como interpretaria o facto dum IP responder negativamente, "no", à questão

         morreCedo( joana ).