nonvar(X). - Предикат определет, является ли его аргумент X переменной, унифицированной значением, или нет.
X
Терм
Примеры
goal: nonvar(X).
Нет
goal: nonvar(a).
Да
goal: nonvar(1).
goal: eq(X,1), nonvar(X).
X=1
goal: nonvar(X), eq(X,1).