var(X). - Предикат определяет, является ли его аргумент X неунифицированной переменной
X
Терм
var(X).
Да
var(1).
Нет
eq(X, 1), var(X).
eq(X, Y), var(X).