Possível resolução das alíneas a) e b) do problema

 % a)
ontem(domingo,sabado).
         ontem(sabado,sexta).
         ontem(sexta,quinta).
         ontem(quinta,quarta).
         ontem(quarta,terca).
         ontem(terca,segunda).
         ontem(segunda,domingo).

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

         nao(P) :- P, !, false.
         nao(_).

         hoje(Animal,Hoje) :-
           mente(Animal,Hoje), ontem(Hoje,Ontem),
           nao(mente(Animal,Ontem)).
         hoje(Animal,Hoje) :-
           mente(Animal,Ontem),ontem(Hoje,Ontem),
           nao(mente(Animal,Hoje)).

         hoje(Dia) :-
           hoje(leao,Dia),
           hoje(unicornio,Dia).

 % b)

         ?- hoje(D).
            D = quinta