Exercício: Lógica
Objetivo
O objetivo deste exercício é resolver o problema abaixo, usando raciocínio lógico :-)
Problema
Há 5 casas de diferentes cores, com donos de diferentes nacionalidades. Os proprietários bebem diferentes bebidas, fumam diferentes cigarros e têm diferentes animais de estimação.
Sabe-se que:
- O inglês vive na casa vermelha.
- O sueco tem cachorros.
- O dinamarquês bebe chá.
- A casa verde fica à esquerda da casa branca.
- O dono da casa verde bebe café.
- A pessoa que fuma Pall Mall cria pássaros.
- O dono da casa amarela fuma Dunhill.
- O homem que vive na casa do centro bebe leite.
- O norueguês vive na primeira casa.
- O homem que fuma Blends vive ao lado do que tem gatos.
- O homem que cria cavalos vive ao lado do que fuma Dunhill.
- O homem que fuma Bluemaster bebe cerveja.
- O alemão fuma Prince.
- O norueguês vive ao lado da casa azul.
- O homem que fuma Blends é vizinho do que bebe água.
Pergunta-se: QUEM TEM UM PEIXE?"
Solução em Prolog
- Veja aqui uma solução para este problema em linguagem Prolog.
- Carregue o programa no interpretador Prolog:
?- [resolve-charada-einstein].
- Consulte a resposta à pergunta:
?- solucao(_, DonoPeixe).
- Consulte a lista completa de casas:
?- solucao(Casas, _).