Выдержка из книги
Ершов А.П.
Введение в теоретическое программирование беседы о методе
Она состоит из четырех этажей, на каждом из которых есть коридор с выходом в конце и с четырьмя лестницами на начало нижнего этажа. Двигаясь по коридору от начала, мы последовательно проверяем значения элементарных предикатов и в зависимости от комбинации их значений либо попадаем на концевой выход, чтобы сказать ДА, либо спускаемся по лестнице на начало коридора в нижнем этаже. Шансы на улучшение программы состоят в том, что, попав на какой-то этаж Р по лестнице, идущей сверху, мы уже знаем значения некоторых предикатов и могли бы на этаже Р и далее сразу выбрать нужное направление, не спрашивая дорогу.