состояние( Р2, наполу, В, Н) ).

Заметим, что в этом предложении делается много утверждений и, в частности:

выполненный ход состоял в том, чтобы 'перейти из некоторой позиции Р1 в некоторую позицию Р2';

обезьяна находится на полу, как до, так и после хода;

ящик находится в некоторой точке В, которая осталась неизменной после хода;

состояние 'имеет банан' остается неизменным после хода.

Рис. 2. 13.  Рекурсивная формулировка отношения можетзавладетъ.

Данное предложение на самом деле определяет все множество возможных ходов указанного типа, так как оно применимо к любой ситуации, сопоставимой с состоянием, имеющим место перед входом. Поэтому такое предложение иногда называют схемой хода. Благодаря понятию переменной, имеющемуся в Прологе, такие схемы легко на нем запрограммировать.

Два других типа ходов: 'подвинуть' и 'залезть' - легко определить аналогичным способом.

Главный вопрос, на который должна ответить наша программа, это вопрос: 'Может ли обезьяна, находясь в некотором начальном состоянии  S,   завладеть бананом?' Его можно сформулировать в виде предиката

        можетзавладеть( S)

где аргумент  S  -  состояние обезьяньего мира. Программа для можетзавладеть может основываться на двух наблюдениях:

(1)    Для любого состояния  S,  в которой обезьяна уже имеет банан, предикат можетзавладеть должен, конечно, быть истинным; в этом случае никаких ходов не требуется. Вот соответствующий прологовский факт:

        можетзавладеть( состояние( -, -, -, имеет) ).

(2)    В остальных случаях требуется один или более ходов. Обезьяна может завладеть бананом в любом состоянии S1, если для него существует ход из состояния Р1 в некоторое состояние S2, такое, что, попав в него, обезьяна уже сможет завладеть бананом (за нуль или более ходов). Этот принцип показан на рис. 2.13. Прологовская формула, соответствующая этому правилу, такова:

        можетзавладеть( S1) :-