Главная /
Языки логического программирования /
Каким образом изменяется запрос при вычислениях?
Каким образом изменяется запрос при вычислениях?
вопросПравильный ответ:
после интерпретации переменных какого-либо атома запроса значения переменных подставляются в этот атом
после интерпретации переменных всех атомов запроса значения переменных подставляются в запрос
после очередной интерпретации переменных заголовка формулы какоголибо атома запроса полученная интерпретация переменных подставляется в тело процедуры, и полученные в результате этого атомы (может пустое выражение) заменяют прежний атомы, составляя новый запрос
после интерпретации переменных всех атомов запроса каждый атом заменяется на тело процедуры с найденной интерпретацией переменных
Сложность вопроса
78
Сложность курса: Языки логического программирования
92
Оценить вопрос
Комментарии:
Аноним
Это было сложно
13 дек 2016
Другие ответы на вопросы из темы программирование интуит.
- # Какое действие может выполняться на шаге работы НАМ?
- # Как определяется объект модели Бэкуса?
- # Какое утверждение для функций ввода/вывода Рефала-2 является верным?
- # Вычисление выражения Рефала-2 k/pr/ k/last/ /5/k/multe/ /5/k/ftochar/ /add/.... выведет
- # Что является верным в отношении ответа на запрос?