/*
 Problema 13

 ALICE

 Quando Alice entrou na "Floresta Encantada, ela nao se esqueceu de tudo, somente de
 algumas coisas. uma das coisas que ela mais facilmente esquece e o dia da semana.
 O leao e o unicornio sao duas criaturas bastante estranhas, que tambem frequentam a
 Floresta Encantada. E sabido que o leao mente nas segundas, tercas e quartas e fala
 a verdade nos outros dias da semana, enquanto que o unicornio mente nas quintas, sextas
 e sabados, mas fala a verdade nos outros dias da semana.

 Um dia Alice encontrou o leao e o unicornio descansando sob uma arvore, e pergunta a
 ambos qual o dia da semana e recebe as seguintes respostas :

 Leao : Ontem foi me dia de mentir.
 Unicornio : Ontem foi meu dia de mentir.

 Diantes dessas declaracoes, Alice, que era uma garota inteligente, verificou que poderia
 deduzir o dia da semana. Qual e o dia ?            

 Dias que eles mentem 

 dom seg ter qua qui sex sab
      |___|___|   |___|___|
          |           |
         leao     unicornio          */	

/* Base de Conhecimento (BC) */

mente(leao,segunda).
mente(leao,terca).
mente(leao,quarta).
%mente(leao,quinta).
mente(unicornio,quinta).
mente(unicornio,sexta).
mente(unicornio,sabado).
%mente(leao,sabado).
 
antes(segunda,domingo).
antes(terca,segunda).
antes(quarta,terca).
antes(quinta,quarta).
antes(sexta,quinta).
antes(sabado,sexta).
antes(domingo,sabado).

alice :- ((K = leao,
         J = unicornio) ; (K = unicornio, J = leao)),
         antes(X,A),
       ( ( 
         mente(J,X),
         not(mente(K,X)), 
         not(mente(J,A)),
         mente(K,A) ) ;

        ( mente(J,X),
          mente(K,X), 
         not(mente(J,A)),
         not(mente(K,A))) ; 


        (not(mente(J,X)),
         not(mente(K,X)), 
         mente(J,A),
         mente(K,A) 
         ) ),

         nl,nl,write('Alice deduziu que era '),write(X),nl,nl.