{

Problema ${n^{{o}} 10}$ } Considere a seguinte hist{o}ria:
{quotation} Toda a pessoa que passa no exame de IPL e ganha no totoloto {e} feliz. Todo aquele que estuda ou tem sorte passa em todos os exames. O Jo{a}o n{a}o estuda mas tem sorte. Toda a pessoa que tem sorte ganha no totoloto. quotation} {description} [a)] Crie um programa em lógica (em Prolog) que descreva esta hist{o}ria. [b)] Prove, construindo uma árvore de prova, que o Jo{a}o {e} feliz. description} %%%%%%%%%%%%%%%%%%%%