Programaçao em logica

CURSO: DISCIPLINA: PROFESSOR: PERÍODO: DOCUMENTO:

SISTEMAS DE INFORMAÇÃO PROGRAMAÇÃO EM LÓGICA DANIEL SCHNEIDER 2012.1 TRABALHO

Regras para a execução e entrega do trabalho: 1) Cada grupo irá desenvolver o problema abaixo (Problemas das Oito Rainhas) e apresentar o trabalho no dia agendado, respondendo a todos os itens solicitados neste documento. 2) Na apresentação do trabalho, o grupo deverá trazer notebook ou pen-drive com a solução do problema. 3) Cada componente do grupo poderá ser arguido a fim de demonstrar conhecimento sobre o problema bem como da solução proposta.
O PROBLEMA DAS OITO RAINHAS

O objetivo deste trabalho é implementar soluções para o chamado “Problema das Oito Rainhas”, que consiste em colocar oito rainhas em um tabuleiro de xadrez 8x8 vazio de tal maneira que nenhuma rainha ataque qualquer outra rainha. Para tanto, é necessário que duas rainhas quaisquer não estejam numa mesma linha, coluna, ou diagonal. A solução deverá ser implementada através de um predicado soluciona(Pos) que é verdade se Pos representa a posição com oito rainhas que não atacam umas às outras. O grupo deverá implementar duas soluções para o problema.

Programa #1 Nesta implementação, a posição das oito rainhas deve ser representada através de uma lista com oito itens, cada um deles correspondendo a uma rainha. Cada item da lista irá especificar um quadrado do tabuleiro no qual a rainha correspondente estará alocada. Cada quadrado pode ser especificado através de um par de coordenadas (X,Y) no tabuleiro.

Programa #2 Nesta implementação alternativa, deve-se observar que nenhuma informação seria perdida se as coordenadas X (utilizadas na representação anterior) fossem omitidas. Portanto, uma representação mais econômica da posição das rainhas no tabuleiro pode ser adotada utilizando somente as coordenadas Y das rainhas: [ Y1, Y2, Y3, …, Y8 ] Avaliação do trabalho Cada grupo será avaliado considerando os três tópicos abaixo: 1) Implementação do programa #1 2)