Что такое стратегия вычислений в Прологе?

Что такое правило отсечения в Прологе?

Что не определяет стратегия вычислений Пролога?

Что представляет собой пространство вычислений программы?

Как графически представляется пространство вычислений программы?

Что происходит, если в результате вычислений не получен пустой запрос?

В каком случае в результате шага вычислений запрос не изменяется?

Что происходит, если в результате вычислений получен пустой запрос?

При каких стратегиях вычислений не идет передвижения сверху вниз по правилам программы?

При каких стратегиях вычислений идет поиск правила для выделенного атома запроса?

При каких стратегиях вычислений не идет передвижение слева направо по атомам запроса?