Problema

Considere as seguintes afirmações:

• Todas as companhias que valem menos do que outra companhia ou que são inconstantes são um mau investimento;
• A companhia Investimentos Inteligentes Lda. ou é um mau investimento ou existe uma outra companhia que cresce mais lentamente;
• A companhia Investimentos Cretinos Lda. cresce mais lentamente do que qualquer outra companhia.

a)

Crie um programa em lógica (em Prolog) que represente o conhecimento expresso nestas afirmações.

b)

Prove, construindo uma árvore de prova, que existe uma companhia que é um mau investimento.