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

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

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

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

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

атомы рассматриваются в любом порядке

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

переменные в разных атомах не зависят друг от друга

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

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

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

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

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

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

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

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

Что происходит, если вычисление запроса на каком-либо шаге заканчивается неуспешно?

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

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