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