При каких стратегиях вычислений идет поиск правила для выделенного атома запроса?
При каких стратегиях вычислений не идет передвижения сверху вниз по правилам программы?
При каких стратегиях вычислений идет попытка вычисления всех (или нескольких) атомов для выделенного правила программы?
Как ведется рассмотрение запроса?
Что не определяет стратегия вычислений Пролога?
Что такое стратегия вычислений в Прологе?
Что такое дерево атома запроса?
Как графически представляется пространство вычислений программы?
Что представляет собой пространство вычислений программы?
В каком случае в результате шага вычислений запрос не изменяется?