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

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

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

Каким образом изменяется запрос при вычислениях?

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

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