Todas as pessoas que não são pobres e são espertas são felizes. As pessoas que
sabem ler não são estúpidas. O João sabe ler e não é pobre. As pessoas felizes têm
vidas excitantes.
a)
Crie um programa em lógica (em Prolog) que descreva esta história. (Note que
pode ter necessidade de acrescentar informação adicional, de senso comum, para que a
prova da alínea seguinte se possa efectivar.)
b)
Prove, construindo uma árvore de prova, que existe uma pessoa com uma vida excitante.
