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

Что такое дерево заголовка процедуры?

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

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

корневое дерево вложенности заголовков процедуры

дерево заголовков всех формул процедуры

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

корневое дерево вычисления процедуры

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

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

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

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

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

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

Что такое НАМ по определению?

Что такое матрица пар?

Что такое рефал-выражение?

Что такое слово в определении НАМ?

Что такое кортеж в модели Бэкуса?