Выдержка из книги
Тейз А.N.
Логический подход к искусственному интеллекту
Любой унификатор получается из НОУ путем воздействия на него подходящей подстановкой. На рис. 6.1 приведено операционное описание унификации в виде рекурсивного алгоритма унифицирование. Входом являются два терма, которые надо унифици-оовать.