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

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

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

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

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

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