PPT Slide
PPT Slide
Preservando as ordem dos dias da semana que são conhecimentos que não mudam, e variando os dias de mentir do unicórnio e do leão — em alguns casos os animais foram mudados para exemplificar a generalidade —, temos:
Alice deduziu que era quarta
Alice deduziu que era segunda
Alice deduziu que era quinta
Alice deduziu que era sabado
Alice deduziu que era domingo
mente(unicornio,segunda).
mente(unicornio,domingo).
mente(unicornio,segunda).
Alice deduziu que era quinta