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

В каком случае предикат var(X) возвращает истинное значение?

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

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

X является неконкретизированной переменной(Верный ответ)

X не является неконкретизированной переменной

X является термом

X является целым числом

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

В каком случае предикат nonvar(X) возвращает истинное значение?

Что делает и что возвращает запрос ↔ read(x)?

Определите значение выражения 2*3 в модели Бэкуса.

Определите значение выражения (while 2 1) :< F, T, F >.

Определите значение выражения (2 * 2 → 4, 5).

Определите значение выражения A+ :< < 1, 2 >; 3 >.

Определите значение выражения (1,2*3).

Определите значение выражения <2>*<3>.

Определите значение выражения <2*3>.

Определите значение выражения ((2 * 2 → 4, 5) → 5; 7).