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

В каких случаях ответом является "Да" или "Нет"?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

любые интерпретации переменных противоречат друг другу

запрос не содержит атомов

запрос не содержит переменных(Верный ответ)

множество всех правильных ответов пусто(Верный ответ)

Похожие вопросы

Что называется правильным ответом?

Что называется ответом на запрос интерпретации?

Что может быть ответом на запрос Пролога?

При каких стратегиях вычислений не идет передвижение слева направо по атомам запроса?

При каких стратегиях вычислений идет поиск правила для выделенного атома запроса?

При каких стратегиях вычислений не идет передвижения сверху вниз по правилам программы?

Из каких частей слагается алгоритм произведения строки первой матрицы на вторую?

Из каких частей состоит оптимизированное произведение первой матрицы на вторую после ее транспонирования?

При каких стратегиях вычислений идет попытка вычисления всех (или нескольких) атомов для выделенного правила программы?

Что не всегда является словом НАМ?