База ответов ИНТУИТ

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

<<- Назад к вопросам

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

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

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