Глава 5. Унификация и поиск с возвратом.

Эта глава имеет четыре основные части. В первой части детально расс-

матривается процесс, который использует Турбо Пролог во время попытки со-

поставления обращения (из подцели) с предложением (в разделе программы

clauses). Этот процесс поиска включает связывание определенного обращения

с определенным предложением - то, что называется унификацией. Унификация

реализует процедуры, которые вам, возможно, известны из других, традици-

онных языков, - такие процедуры как передача параметра, выбор варианта

(case), создание структур, доступ к структурам, присваивание.

Во второй части показано как Турбо Пролог выполняет поиск решений

целевого утверждения (при помощи поиска с возвратом), и управление поис-

ком. Управление поиском включает в себя методы, позволяющие программе вы-

полнить задание, которое было бы невозможно выполнить иным способом, -

либо вследствие того, что поиск продолжался бы слишком долго (что менее

вероятно для Турбо Пролога, чем для других реализаций Пролога), либо

из-за того, что система истощит свой запас свободной памяти.

В третьей части этой главы вводится предикат, который можно исполь-

зовать для поддержки поика с возвратом, и рассказывается более подробно о

том, как управлять поиском с возвратом. Также вводится предикат, который

можно использовать для проверки того, удовлетворено ли некоторое ограни-

чение в вашей программе.

С целью лучшего освещения предмета, в четвертой части этой главы

повторяется наиболее важный учебный материал, представленный ранее, но

уже с "процедурной" точки зрения. Показано, как можно достичь понимания

основных аспектов Пролога, чисто описательного языка, если также посмот-

реть на них как на процедуры.