Exercício do Exame de Recorrência de 1998: Problema

Considere o seguinte enunciado:

Quando a Alice entrou na floresta do esquecimento, ela não se esqueceu de tudo, apenas de certos factos. Frequentemente, ela esquecia-se do seu nome, mas o que ela se esquecia com mais regularidade era do dia da semana. O leão e o unicórnio são visitantes frequentes da floresta. Estes dois, são criaturas muito estranhas. O leão mente às Segundas, Terças e Quartas e diz a verdade nos restantes dias da semana. O unicórnio, por seu lado, mente às Quintas, Sextas e Sábados, mas diz a verdade nos outros dias da semana. Um dia a Alice encontrou o leão e o unicórnio debaixo de uma árvore. Eles fizeram as seguintes declarações:

Leão:

ontem foi um dos dias em que eu menti.

Unicórnio

ontem foi um dos dias em que eu menti.

Destas afirmações, Alice, que era uma rapariga inteligente, foi capaz de deduzir o dia da semana. Qual era ele?

Pretende-se que:

a)

implemente um programa em Prolog que seja capaz de responder à pergunta acima formulada.

b)

indique o modo como se colocaria a questão ao interpretador para obter a solução por este produzida.

c)

justifique, por meio de uma Árvore de Procura, como é que o Prolog chegaria à solução.