Название метода совместное использование структур отражает тот факт, например, что значения переменных х3 и х ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Хоггер К.N. Введение в логическое программирование


Название метода совместное использование структур отражает тот факт, например, что значения переменных х3 и х имеют общий входной скелет и. Очевидно, что наибольшую пользу он приносит в том случае, когда на допустимые в период исполнения объемы памяти накладываются существенные ограничения или же память слишком дорогостоящая. За получаемую экономию памяти возможно придется расплачиваться увеличением времени обработки, необходимого для выполнения унификации, поскольку интерпретатору с целью сравнения фактических и формальных параметров может потребоваться исследовать сколь угодно длинные цепочки молекул. Это наказание будет незначительным, если в ходе исполнения программы подобные унификации выполняются редко или если вычислительная машина, на которой осуществлена реализация, обеспечена высокоэффективными механизмами косвенной адресации. Первое из этих двух условий зависит от вида исполняемой программы. При исполнении некоторых программ могут строиться большие структурированные термы, и, тем не менее, на программу унификации не ложится почти никакой нагрузки, связанной с выборкой данных. В других же программах могут вообще не употребляться структурированные термы, а обрабатываться, быть может, данные, представленные в виде фактов.

(cкачать страницу)

Смотреть книгу на libgen

Название метода совместное использование структур отражает тот факт, например, что значения переменных х3 и х имеют общий входной скелет и. Очевидно, что наибольшую пользу он приносит в том случае, когда на допустимые в период исполнения объемы памяти накладываются существенные ограничения или же память слишком дорогостоящая. За получаемую экономию памяти возможно придется расплачиваться увеличением времени обработки, необходимого для выполнения унификации, поскольку интерпретатору с целью сравнения фактических и формальных параметров может потребоваться исследовать сколь угодно длинные цепочки молекул. Это наказание будет незначительным, если в ходе исполнения программы подобные унификации выполняются редко или если вычислительная машина, на которой осуществлена реализация, обеспечена высокоэффективными механизмами косвенной адресации. Первое из этих двух условий зависит от вида исполняемой программы. При исполнении некоторых программ могут строиться большие структурированные термы, и, тем не менее, на программу унификации не ложится почти никакой нагрузки, связанной с выборкой данных. В других же программах могут вообще не употребляться структурированные термы, а обрабатываться, быть может, данные, представленные в виде фактов.