Языки логического программирования

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

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

при стратегии " в глубину и слева направо"(Верный ответ)

при стратегии ""и"-параллельность"

при стратегии "в ширину"

при стратегии ""или"-параллельность"(Верный ответ)

Похожие вопросы

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

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

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

Что такое дерево атома запроса?

Что происходит при отсутствии интерпретации переменных очередного атома запроса?

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

В каком случае интерпретация переменных рассмотренных атомов запроса годится при рассмотрении следующего атома?

В каком случае интерпретация переменных рассмотренных атомов запроса не годится при рассмотрении следующего атома?

Как ведется рассмотрение формул процедуры для атома?

Укажите формальное определение атома Пролога?