Toda a pessoa que passa no exame de IPL e ganha no totoloto é feliz. Todo aquele que
estuda ou tem sorte passa em todos os exames. O João não estuda mas tem sorte. Toda a
pessoa que tem sorte ganha no totoloto.
a)
Crie um programa em lógica (em Prolog) que descreva esta história.
b)
Prove, construindo uma árvore de prova, que o João é feliz.
