Логическая задача про обезьяну и банан на Prolog

Главная Форумы Программирование Помощь с решением задач на Prolog Решение головоломок на Prolog Логическая задача про обезьяну и банан на Prolog

В этой теме 0 ответов, 1 участник, последнее обновление  Васильев Владимир Сергеевич 7 мес. назад.

  • Автор
    Сообщения
  • #3641

    Задача:

    Перед дверью, ведущей в комнату, находится обезьяна. В середине комнаты с потолка свисает банан. Обезьяна голодна и хочет получить банан, но не может дотянуться до него с пола. У окна комнаты стоит ящик, которым может пользоваться обезьяна. Обезьяна может выполнять следующие действия: ходить по полу, залезать на ящик, передвигать ящик (если она уже находится рядом с ящиком) и срывать банан, если она стоит на ящике непосредственно под бананом. Может ли обезьяна получить этот банан?

    Чтобы решить задачу, нам нужно найти правильную последовательность действий и состояний обезьяны от первоначального состояния до конечного. Множество возможных состояний (ситуаций) определяется несколькими измерениями: положение ящика (у окна или под бананом), вертикальное положение обезьяны (на полу или на ящике), горизонтальное положение обезьяны (у двери или под бананом), наличие банана у обезьяны (банан висит или банан у обезьяны).
    Опишем данные условия массивом state (состояние), который будет состоять из четырех строковых значений:
    state(ГдеЯщик, ОбезьянаПоГоризонтали, Обезьяна по вертикали, Банан).
    Опишем с помощью этого предиката начальное и конечное состояние задачи:

    state(“Ящик у окна”, “Обезьяна у двери”, “Обезьяна на полу”, “Банан висит”).
    state(“Ящик под бананом”, “Обезьяна под бананом”, “Обезьяна на ящике”, “Банан у обезьяны”).

    Для перехода из одного состояния в другое существуют следующие возможные действия:

    1. Схватить банан;
    2. Залезть на ящик;
    3. Передвинуть ящик;
    4. Перейти из одного места в другое.

    Обратите внимание, что переход между действиями возможен при соблюдении определенных условий, например, чтобы схватить банан, обезьяна по крайней мере должна стоять на ящике. Чтобы описать эти условия используем предикат move, содержащий совершаемое действие, состояние до совершения действия и состояние после совершения действия.

    move("Схватить", state("Ящик под бананом", "Обезьяна под бананом", 
      "Обезьяна на ящике", "Банан висит"),
      state("Ящик под бананом", "Обезьяна под бананом", 
      "Обезьяна на ящике", "Банан у обезьяны")).
    move("Залезть на ящик", state("Ящик под бананом", "Обезьяна под бананом", 
      "Обезьяна на полу", "Банан висит"),
      state("Ящик под бананом", "Обезьяна под бананом", 
      "Обезьяна на ящике", "Банан висит")).
    move("Передвинуть ящик", state("Ящик у окна", "Обезьяна у окна", 
      "Обезьяна на полу", "Банан висит"),
      state("Ящик под бананом", "Обезьяна под бананом", 
      "Обезьяна на полу", "Банан висит")).
    move("Перейти", state(Ящик, ПоложениеОбезьяны1, "Обезьяна на полу", Банан),
      state(Ящик, ПоложениеОбезьяны2, "Обезьяна на полу", Банан)):-
      pl(ПоложениеОбезьяны1), pl(ПоложениеОбезьяны2),
      ПоложениеОбезьяны1 <> ПоложениеОбезьяны2.
    

    Предикат pl содержит в себе горизонтальное положение обезьяны, им мы воспользовались, чтобы описать тот факт, что при совершении действия «Перейти» обезьяна не может остаться на том же месте, чтобы избежать избыточных решений.

    Для получения окончательного решения используем предикат result, определяемый состоянием, с помощью рекурсии и точки останова:

    result(state(_, _, _, "Банан у обезьяны")):- !.
    result(СостояниеДо):- 
      move(Действие, СостояниеДо, СостояниеПосле),
      write(СостояниеДо),nl,
      write(Действие),nl,
      write(СостояниеПосле), nl,
      result(СостояниеПосле).

    В цели программы укажем начальное состояние задачи:

    GOAL
      result(state("Ящик у окна", "Обезьяна у двери", "Обезьяна на полу", "Банан висит")).

Для ответа в этой теме необходимо авторизоваться.