Problema

a)

Crie um programa em lógica (em Prolog) que exprima as seguintes afirmações:

• Israel retaliará se for atacada por um país árabe.
• Israel não ataca países seus aliados.
• Dois países são aliados se têm um inimigo comum.
• A Arábia Saudita, os EUA a Inglaterra e Israel são inimigos do Iraque.
• A Síria, a Arábia Saudita e o Iraque são países árabes.
• Nem todos os países árabes são aliados.
• Qualquer país ou é aliado ou inimigo de Israel.

b)

Prove por meio de uma árvore de prova que, admitindo que o Iraque atacou Israel, Israel retaliará.