{

Problema ${n^{{o}} 16}$ } {description} [a)] Crie um programa em lógica (em Prolog) que exprima as seguintes afirma{c}{o}es: {itemize} Israel retaliar{a} se for atacada por um pa{i}s {a}rabe. Israel n{a}o ataca pa{i}ses seus aliados. Dois pa{i}ses s{a}o aliados se t{e}m um inimigo comum. A Ar{a}bia Saudita, os EUA a Inglaterra e Israel s{a}o inimigos do Iraque. A S{i}ria, a Ar{a}bia Saudita e o Iraque s{a}o pa{i}ses {a}rabes. Nem todos os pa{i}ses {a}rabes s{a}o aliados. Qualquer pa{i}s ou {e} aliado ou inimigo de Israel. itemize} [b)] Prove por meio de uma árvore de prova que, admitindo que o Iraque atacou Israel, Israel retaliar{a}. description} %%%%%%%%%%%%%%%%%%%%