Selectores

atom(X).
integer(X).
atomic(X) :- atom(X) ; integer(X).

var(X).
nonvar(X).

?- var(X), X = 2.
X = 2

?- X = 2, var(X).
no

?- atom(2).
no
?- atomic(2).
yes

Igualdades:

X = Y
X is Expr1
Exp1 =:= Exp2
Exp1 =\= Exp2
T1 == T2
T1 \== T2