{

Problema ${n^{{o}} 11}$ } Considere a seguinte hist{o}ria: {quotation} Todas as pessoas que n{a}o s{a}o pobres e s{a}o espertas s{a}o felizes. As pessoas que sabem ler n{a}o s{a}o est{u}pidas. O Jo{a}o sabe ler e não {e} pobre. As pessoas felizes t{e}m vidas excitantes. quotation} {description} [a)] Crie um programa em lógica (em Prolog) que descreva esta hist{o}ria. (Note que pode ter necessidade de acrescentar informa{c}{a}o adicional, de senso comum, para que a prova da al{i}nea seguinte se possa efectivar.) [b)] Prove, construindo uma árvore de prova, que existe uma pessoa com uma vida excitante. description} %%%%%%%%%%%%%%%%%%%%