:

X==Y

X==Y

'==' , '='. , X==Y , X=Y. . '==' , . '=' , - , . , '==' , , . . , :

?- X==Y.

?- X==X.

X=_23

?- X = Y, X== Y. X = _23, Y = _23

?- ([|],)== (,Y).

?- ([|],)== ([|],).

= _23, = _24, = _25


: 0.274. /Cache: 3 / 1