Описание предикатов. 
Структуры и стратегии поиска в пространстве состояний

• · Факт start задает начальные позиции фишек.
• · Предикат solve (Start, Decision) получает как входной поток начальные значения, выдает Decision — полученное решение.
• · Терм l (N, F/G) представляет отдельный узел дерева (лист), где N — узел в пространстве состояний, G — значение функции (стоимость пути, пройденного от начального узла до N), F — значение функции f (N) = G + h (N).
• · Терм t (N, F/G, Subt) представляет дерево с непустыми поддеревьями, где N — корень дерева, Subt — список его поддеревьев, G — значение функции g (N), F — «обновленное» f-значение N (под этим подразумевается f-значение наиболее перспективного преемника N), список Subs упорядочен в соответствии с возрастающими f-значения ми поддеревьев.
• · Процедура expo (Way, Tree, Tie, Tree1, Decided, Decision) развертывает текущее дерево (поддерево), при условии, что f-значение этого дерева остается меньшим или равным значению Tie.
• — Wayпуть между начальным узлом поиска и поддеревом;
• — Three 1 — поддерево Three, развернутое в пределах Tie;
• — если цель найдена, то Decision — путь решения и Decided = yes
• · Предикатd (Node, SonNode, Cost) определяет узел, его преемника и стоимость дуги между ними.
• · Предикат exchange (Free, Counter, Counters, Countersl) меняетместамифишкуFree и фишкуCounter в спискеCounters, возвращает Countersl.
• · Процедураfollow (Way, Tree, Tie, NewTree, SubtreeDecided, TreeDecided, Decision) либовставляет дерево в список деревьев Tree (предикат insert), находит лучшее f-значениев списке вновь полученного списка деревьев (thebestf) и рекурсивно вызывает expo, либопросто находит лучшее f-значениев списке деревьев Tree и рекурсивно вызывает expo, возвращает NewTree.
• · Предикатinsert (Tree, Trees, NewTree) вставляетдеревоTreeв список деревьев Trees, с условием упорядоченности по f-значениям, возвращает NewTree.
• · Предикат thebestf (Trees, F) возвращает лучшее f-значение в списке деревьев Trees.
• · Предикат f (TorL, F) возвращает f-значение листа или дерева TorL.
• · Предикат min (X, Y, Z) возвращает в Zлибо X, либо Yв зависимости от того, что меньше.
• · Предикатorderlist (G, Sons, Subtrees) упорядочивает список листьев поиска поихf-значениям. Sonsлистья (преемники), Subtrees — новое дерево, полученное как список упорядоченных листьев Sons. Упорядочение происходит за счет подсчета эвристической оценки с помощью предиката heuristic (N, H) и суммирования пройденного пути Gи пройденного пути до каждого листа.
• · Предикат heuristic (Position, H) дает эвристическую оценку данному узлу Position (какая стоимость осталась до целевой вершины), и возвращает ее.
• · Факт aim (N) задает целевую позицию.
• · Предикатsumdist (Coun, Goal, Summd) подсчитывает суммарное расстояние Summd клеток позиции Counдо конечных клеток позиции Goal.
• · Предикатorderliness (CounterPositions, Mark) возвращаетоценкуупорядоченностиMark, исходя из позиций клеток CounterPositions.
• · Факт mark (N, P, M) дает оценкуM фишке N, которая стоит рядом с фишкой P.
• · Предикатmanhattandist (X/Y, Xl/Yl, Md) подсчитывает Манхэттенское расстояние Md между двумя клетками X/Y, Xl/Yl.
• · Предикат seepos (N)показывает позицию Nна доске.
• · Предикат seedecision (Dec) показывает путь решения как список позиций на доске.

стратегия поиск пространство пятнашки.