% Autor: Pedro Paulo Rocha Martins 11111EMT014

Henrique Oliveira Resende Formozo Arantes 11221EMT011

% Data: 08/03/2016

ponta_esquerda(A,esquadrilha(A,_,_,_,_)).

nome(aviao(N,_,_,_,_),N).

cor(aviao(_,C,_,_,_),C).

anomalia(aviao(_,_,A,_,_),A).

bebida(aviao(_,_,_,B,_),B).

esporte(aviao(_,_,_,_,E),E).

aviao(A,esquadrilha(A,_,_,_,_)).

aviao(A,esquadrilha(_,A,_,_,_)).

aviao(A,esquadrilha(_,_,A,_,_)).

aviao(A,esquadrilha(_,_,_,A,_)).

aviao(A,esquadrilha(_,_,_,_,A)).

exatamente_a_direita(B,A,esquadrilha(A,B,_,_,_)).

exatamente_a_direita(B,A,esquadrilha(_,A,B,_,_)).

exatamente_a_direita(B,A,esquadrilha(_,_,A,B,_)).

exatamente_a_direita(B,A,esquadrilha(_,_,_,A,B)).

ao_lado(A,B,Sol):-

exatamente_a_direita(A,B,Sol);

exatamente_a_direita(B,A,Sol).

entre(A,B,esquadrilha(A,_,B,_,_)).

entre(A,B,esquadrilha(A,_,_,B,_)).

entre(A,B,esquadrilha(A,_,_,_,B)).

entre(A,B,esquadrilha(_,A,_,B,_)).
 entre(A,B,esquadrilha(_,A,_,_,B)).

entre(A,B,esquadrilha(_,_,A,_,B)).

resolve(Sol) :-

Sol =
esquadrilha(aviao(_,_,_,_,_),aviao(_,_,_,_,_),aviao(_,_,_,_,_),aviao(_,_,_,_,_),aviao(_,_,_,_,_)),

% O Cap. Farfarelli est na ponta esquerda da formao.

ponta_esquerda(A,Sol),

nome(A,farfarelli),

%O Cap. Farfarelli voa ao lado do avio que solta fumaa azul.

exatamente_a_direita(B,A,Sol),

cor(B,azul),

%O avio do Cel. Milton solta fumaa vermelha.

nome(C,milton),

cor(C,vermelha),

aviao(C,Sol),

%O rdio transmissor do Ten. Walter est com problemas.

aviao(D,Sol),

nome(D,walter),

anomalia(D,radio),

%O piloto do avio que solta fumaa verde adora pescar.

aviao(E,Sol),

cor(E,verde),

esporte(E,pesca),
%O Major Rui joga futebol nos finais de semana.

aviao(F,Sol),

nome(F,rui),

esporte(F,futebol),

%O avio que solta fumaa verde est imediatamente direita do avio que solta fumaa
branca.

exatamente_a_direita(G,H,Sol),

cor(G,verde),

cor(H,branca),

%O piloto que bebe leite est com o altmetro desregulado.

aviao(I,Sol),

bebida(I,leite),

anomalia(I,altimetro),

%O piloto do avio que solta fumaa preta bebe cerveja.

aviao(J,Sol),

bebida(J,cerveja),

cor(J,preta),

%O praticante de natao pilota o avio que solta fumaa vermelha.

aviao(K,Sol),

esporte(K,natacao),

cor(K,vermelha),

%O piloto que bebe caf voa ao lado do avio que est com pane no sistema hidrulico.

ao_lado(L,M,Sol),

bebida(L,cafe),

anomalia(M,hidraulico),
%O piloto que bebe cerveja voa ao lado do piloto que enfrenta problemas na bssola.

ao_lado(N,O,Sol),

bebida(N,cerveja),

anomalia(O,bussola),

%O homem que pratica equitao gosta de beber ch.

aviao(P,Sol),

esporte(P,equitacao),

bebida(P,cha),

%O Cap. Nascimento bebe somente gua.

aviao(Q,Sol),

nome(Q,nascimento),

bebida(Q,agua),

%Na formao, h um avio entre o que tem problema hidrulico e o com pane no altmetro.

entre(R,S,Sol),

anomalia(R,hidraulico),

anomalia(S,altimetro).