Король в своем уме ? (логическая задача), Prolog Опции

[Altair]

Вот задача:

Король Пик думает, что Королева Пик думает,
что Король не в своем уме. Что можно сказать о состоянии
рассудка Короля и Королевы?

Ответ:
Король - в своем уме,
королева - не в своем уме!

Почему так? Я не вьезжаю



решение на Прологе:

участник(в_своем_уме).
участник(не_в_своем_уме).

думает(_х,_у):-(_х=в_своем_уме,ВЫП(_у)).
думает(_х,_у):-(_х=не_в_своем_уме,НЕ(ВЫП(_у))).

ер(_Король,_Королева):-
  участник(_Король),
  участник(_Королева),
  думает(_Король,думает(_Королева,_Король=не_в_
своем_уме)).

?-ер(_Король,_Королева).

[SKVOZNJAK]

Решение простое, логическое, но тебе не понравится Помнишь пословицу: курица не птица,.............

[Blackli]

Мы "имеем" только мысли короля.. о рассудке королевы мы ничего сказать не можем =)
Вообще, помоему - какая-то не логичная загадка..

[SKVOZNJAK]

Лучше и не разгадывай, обидишься Это из жизни - необходимо добавить недостающие сведения из реала - возможность дамы пик на адекватное мышление, в принципе, исчезающе мала. Типа анекдота. Вроде бы всё правильно и логично, но прикольно. Хотя и не для всех.