?- X=1+2.
X = 1+2. % nu se realizează calculul aritmetic

?- X \= Y.
false. % X și Y ar putea unifica.

?- X \== Y.
true. % X și Y nu sunt legate la același lucru și nu au fost unificate anterior (nu sunt echivalente)

?- member(1+2, [1,2,3]).
false. % nu se realizează calculul aritmetic

?- member(1+2, [1+2,2,3]).
true .

?- member(1+2, [1+X,2,3]).
X = 2 ; % se poate face unificare pe componentele operației
false.

?- X is 1+2, member(X, [1,2,3]).
X = 3. % se realizează calculul aritmetic folosind is

?- 3 is 1+2.
true.

?- X is 1+2.
X = 3.

?- 1+2 is 1+2.
false. % is suportă doar un singur lucru (o valoare sau o variabilă) în partea stângă

?- X is Y + 3.
ERROR: Arguments are not sufficiently instantiated
ERROR: In:
ERROR:   [10] _14806 is _14812+3
ERROR:    [9] toplevel_call(user:user: ...) at c:/program files/swipl/boot/toplevel.pl:1158
?- 5 is Y + 3.
ERROR: Arguments are not sufficiently instantiated
ERROR: In:
ERROR:   [10] 5 is _1378+3
ERROR:    [9] toplevel_call(user:user: ...) at c:/program files/swipl/boot/toplevel.pl:1158
?- 1 + 2 =:= 4 - 1.
true.