Задача: решить типовую задачу "перевозки": "волк-коза-капуста", "3миссионера-3каннибала", "help-to-sail".
Алгоритм решения (можно предложить свой):
1) Начальная ситуация описывается кадром стека (удобнее, конечно, шкалой, но тогда не нужны стековые манипуляторы) - для каждого персонажа (и лодки), по одному значению-состоянию (левый/правый берег);
2) Верхний кадр стека проверяется на условие победы (все на правом берегу), в случае успеха - конец;
3) Верхний кадр стека проверяется на недопустимость (волк ест козу, каннибалы - миссионеров и ть.д.), в случае успеха - кадр удаляется со стека и возвращаемся к шагу 2;
4) Верхний кадр стека заменяется последовательностью кадров, которые из него можно получить при очередном перемещении лодки. Возвращаемся к шагу 2.
Т.к. все три задачи решаемые, стек исчерпаться не должен.
Вывод программы - протокол кадров и принятых по ним решений, в идеале - только продуктивные перемещения персонажей. Продумать, как избежать зацикливания алгоритма.

А ЗАЧЕМ в условии задачи предложение алгоритма (да еще и абсолютно непонятного из-за масляного масла!) ???

Решение задачи - тупое удаление со стека всех данных и заполнение его нужным ответом.
Никакого зацикливания - идеально быстрое, предопределенное решение.
Ответ то известен изначально!

У меня где то было на кварке.

Вообще-то без алгоритма начинать кодировать задачу не стоит.
А алгоритм это последовательность корректных действий(не противоречащих условию задачки).
Решение на форте.
На форте, расширенном манипуляторами

А Forth Wizard запускать не пробовали?

: solution ( 12345 - 51234) -rot 2>r -rot 2r> ;

В этом смысле все гораздо проще:
: solution ( 12345 - 51234) 5\51234 ; 1 2 3 4 5 solution ( 5 1 2 3 4 )

А затем, что нас интересует не запись в виде стек-перестановок готового решения задачи, а написание программы, способной решить задачу! Хотите использовать свой алгоритм - пожалуйста! Но не надо считать решением выдачу текстового сообщения "Задача решена!", что мы и имеем в данном случае.
P.S. Откуда берется зацикливание? Допустим, мы имеем ситуацию 1 (которая допустима, но лежит на тупиковом пути), она заменяется на список ситуаций 2, 3 и т.д. Но, ведь, например, ситуация 2 порождает ту же 1 (движения лодки обратимы), и после того, как мы дойдем до тупика, так и будем мотаться в цикле 1-2-1-2-...

Зацикливание исключается при введении эвристики "забрать другой объект" на обратном пути. Это элемент алгоритма поиска решения.

1-2-1-2-1 исключается, а 1-2-3-4-1-2-3-4-1 ?
Пожалуйста, поменьше эвристик и побольше поиска решений.

программы, способной из начальных условий путем перебора найти алгоритм перемещений

т.е. дано - количество предметов, вместимость транспортного средства, "сочетаемость", точнее - несочетаемость предметов, что нельзя оставлять вместе без присмотра - волка с козой, козу с капустой

найти последовательность действий, которые оставляют несъеденной козу

Мне показалось, что правила "сочетаемости" и "грузовместимости" вполне описываются стековыми манипуляторами. Может, я не прав?

на прологе довольно быстро

состояние(СПИСОК1, /* это пока левый берег */
               СПИСОК2 /* лодка */
               СПИСОК3 /* правый берег */
               )
запрет(СПИСОК):- member(КРЕСТЬЯНИН, СПИСОК), ! /* если хозяин тут - сочетание любое */ 
                       ;
                          ( member(коза,СПИСОК), member(волк,СПИСОК) -> fail )
                       ;
                          ( member(капуста, СПИСОК), member(коза, СПИСОК) -> fail ).

etc

Быстро и без Пролога. Для подсказки покажу на шкалах (Help the Sail - шкала ЛПССМДДКБ, 1 - на левом берегу, 0 - на правом, х - безразлично):
Начало: 111111111
Победа: x00000000
Запрещенная комбинация: х01х1хххх
Перевозка: 111111111 -> 000111111 001101111 001111101 и т.д.
(Пардон, выше я неправильно написал название игры.)

Не понял что это за шкала. И что, использование шкалы позволит найти все решения( для задачи их два)?
Решил по-своему( этап отбора корректных начальных ходов опустил):

лог.

В флеш-игре-загадке надо перевести на Лодке Папу, 2-х Сыновей, Маму, 2-х Дочек, Копа и Бандита. Т.о. состояние игры описывается шкалой из 9-бит.1)Использование шкалы - это лишь техническая подробность решения (способ представления данных).
2)Т.к. описанный алгоритм останавливается после нахождения первого же решения, то очевидно, он ищет только одно.Надо, чтобы программа задачу решила, а не Вы.