Еще один источник неэффективности программы 37 - это бремя, связанное с унификацией структурированных термов вида ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Хоггер К.N.
Введение в логическое программирование
Еще один источник неэффективности программы 37 - это бремя, связанное с унификацией структурированных термов вида f ( xt I) в период ее исполнения. Функторы f играли полезную роль для точного описания логического базиса нашего преобразования, но совершенно не нужны для окончательной цели вычислений в выведенной программе.
