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

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

(Отметьте один правильный вариант ответа.)

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

рассматриваются по очереди формулы процедуры, последующие за последней уже рассмотренной формулой процедуры для предыдущих атомов

рассматривается одна из формул процедуры, которая имеет интерпретацию переменных для данного атома

рассмотрение формул процедуры атома идет по очереди каждый раз с начала в одном и том же порядке независимо от уже рассмотренных атомов запроса(Верный ответ)

если формула уже использована для интерпретации переменных какого-либо атома, то она более не рассматривается для следующих атомов

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

Как ведется рассмотрение запроса?

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

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

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

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

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

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

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

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

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