Exercício do Exame de Recurso de 1998: Problema

Em resposta ao conhecimento expresso nas frases

• Se um homem é incompetente, não é prudente;
• Se um homem é ignorante, não tem esperança;
• Se um homem é violento, é incompetente;
• Se um homem não é prudente, é ignorante:

resolveu-se considerar a seguinte BC:

         homem(incompetente,nao_prudente).
         homem(ignorante,sem_esperanca).
         homem(violento,incompetente).
         homem(nao_prudente,ignorante).

         homem(X,Y) :- homem(X,Z),
                       homem(Z,Y).

Supondo que forçamos sempre o backtracking (digitando ;), cada vez que obtemos uma resposta do interpretador de Prolog, descreva, justificando por meio da árvore de procura, o que se obteria colocando a seguinte questão:

         ?- homem(nao_prudente,X).