Логическая задача в Prologus

Узнай цену своей работы

Формулировка задачи:

Кухарка кормит Чеширского Кота. Кухарка считает, что по крайней мере один из них не в своём уме. Что можно сказать о состоянии их рассудка? Должно оказаться, что Кот не в своём уме. Есть такой пример: Король Пик думает, что Королева Пик думает, что Король не в своём уме. Что можно сказать о состоянии рассудка Короля и Королевы? участник(в_своем_уме). участник(не_в_своем_уме). думает(_x,_y):-(_x=в_своем_уме,ВЫП(_y)). думает(_x,_y):-(_x=не_в_своем_уме,НЕ(ВЫП(_y))). пример(_Король,_Королева):- участник(_Король), участник(_Королева), думает(_Король,думает(_Королева,_Король=не_в_своем_уме)). Дополнительное в скриншотах. Версия специфическая - Prologus - Боголюбов Д.П. (МИЭМ)

Решение задачи: «Логическая задача в Prologus»

textual
Листинг программы
  1. участник(в_своем_уме).
  2. участник(не_в_своем_уме).
  3.  
  4. думает_что(_x,_y):-(_x_своем_уме,ВЫП(_y)).
  5. думает_что(_x,_y):-(_x=не_в_своем_уме,НЕ(ВЫП(_y))).
  6.  
  7. ?-ОПЕР(300, xfy, думает_что), ОПЕР(300, fx, участник).
  8.  
  9. пример(_Кухарка,_Кот):-
  10. участник _Кухарка,
  11. участник _Кот,
  12. _Кухарка думает_что (_Кухарка = не_в_своем_уме; _Кот = не_в_своем_уме).
  13.  
  14. ?-пример(_Кухарка,_Кот).

Объяснение кода листинга программы

  1. Переменные: в_своем_уме, не_в_своем_уме, xfy, думает_что, участник, fx, пример, Кухарка, Кот.
  2. Участник Кухарка и участник Кот.
  3. Условие для думает_что: если участник равен в_своем_уме, то ВЫП (неизвестно, что это за операция).
  4. Условие для думает_что: если участник равен не_в_своем_уме, то НЕ (предполагаю, что это отрицание).
  5. ОПЕР(300, xfy, думает_что) и ОПЕР(300, fx, участник).
  6. Пример: если Кухарка и Кот участники, то Кухарка думает_что (Кухарка = не_в_своем_уме и Кот = не_в_своем_уме).
  7. Вопрос: ?-ОПЕР(300, xfy, думает_что), ОПЕР(300, fx, участник).
  8. Вопрос: ?-пример(_Кухарка,_Кот).

ИИ поможет Вам:


  • решить любую задачу по программированию
  • объяснить код
  • расставить комментарии в коде
  • и т.д
Попробуйте бесплатно

Оцени полезность:

14   голосов , оценка 3.714 из 5

Нужна аналогичная работа?

Оформи быстрый заказ и узнай стоимость

Бесплатно
Оформите заказ и авторы начнут откликаться уже через 10 минут