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

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

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

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

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

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

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

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

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

В каком случае не существует НОУ выражений?

В каком случае НАМ применим к входным данным?