:- nl, write('------------------------------------------------------'),nl, write(' UESB - Universidade Estadual do Sudoeste da Bahia '),nl, write('Trabalho de Sistemas Inteligentes/Inteligen Artificial'),nl, write('Professor: Fbio

Moura Pereira'),nl, write('Aluno: Tcio de Jesus Andrade (200812256)'),nl, write('Para executar a pesquisa chame a funo:'),nl, write('pintar(Maranhao,Piaui,Ceara,RioGrandeDoNorte,Paraiba, Pernambuco,Alagoas,Sergipe,Bahia).'),nl, write('------------------------------------------------------'),nl. cor(azul). cor(verde). cor(vermelho). cor(amarelo). pintar(Maranhao,Piaui,Ceara,Riograndedonorte,Paraiba,Pernambuco,Alagoas,Sergipe, Bahia) :- cor(Maranhao),cor(Piaui),cor(Ceara),cor(Riograndedonorte),cor(P araiba), cor(Pernambuco),cor(Alagoas),cor(Sergipe),cor(Bahia), Maranhao\=Piaui,Bahia\=Piaui,Bahia\=Pernambuco,Bahia\=Alagoas, Bahia\=Sergipe,Piaui\=Ceara,Ceara\=Riograndedonorte,Ceara\=Para iba, Ceara\=Pernambuco,Pernambuco\=Piaui,Riograndedonorte\=Paraiba, Paraiba\=Pernambuco,Pernambuco\=Alagoas,Alagoas\=Sergipe.