Пример подстановки
Если в предыдущем выражении (рис. 3.5) переменную х желательно заменить выражением 
процедура выполняется следующим образом:
ПРОСМОТР 
возможная подстановка (рис. 3.6);
индекс следующего терма в 
индекс следующего терма в 
;
РОСМОТР Е начиная с 
текущий символ х встречается снова при индексе 7 и замещается термом 
Результирующее выражение показано на рис. 3.7.
Рис. 3.7. Новый вид выражения Е после подстановки.
ПРОСМОТР Т: в данном случае нет объекта для просмотра. Конец процедуры 
замещен только в той части выражений, которая необходима для унификации в предположении, что начальные их части уже унифицированы. Ниже описан сам алгоритм унификации.
работает со следующими данными: 
— наименование переменной, которая должна быть замещена; 
— терм, который подставляется вместо этой переменной; 
— индексы. После выполнения подстановки достигается совпадение выражений Е и Т, включая термы с индексами ей 
Текст процедуры представлен ниже. Выделенные курсивом наименования соответствуют элементарным функциям, которые здесь не рассматриваются подробно, так как их выбор определяется конкретным способом выполнения процедуры. Значения индексов ей 
изменяются вне процедуры подстановки.
.
