Что происходит, если вычисление запроса на каком-либо шаге заканчивается неуспешно?
(Отметьте один правильный вариант ответа.)
Варианты ответа
при отсутствии предыдущего атома запроса вычисления запроса заканчиваются неуспешно
при отсутствии следующей фомулы происходит переход к выбору следующей формулы для первого атома запроса
если нет интерпретации для очередной формулы очередной процедуры, то происходит переход к выбору следующей формулы(Верный ответ)
при отсутствии следующей формулы вычисления запроса заканчиваются неуспешно