|
пространство вычислений
В логическом программировании (например, для недетерминированного Пролога) – пути всех возможных вычислений; пространство вычислений представляется обычно в виде дерева с реализацией той или иной стратегии обхода этого дерева вычислений для выполнения запроса. Стратегии могут быть последовательными и параллельными. Различают полные (total ~) и конечные (finite ~), виртуальные и физические пространства вычислений (см. также computation, computation tree).
[Э.М. Пройдаков, Л.А. Теплицкий] |
EN |
|
FR |
|
|
Тематики
- информационные технологии в целом
|