:

var(X)

var(X)

var(X) , X . , :

?- var(X).

?- var(23).

?- X = Y, Y = 23, var(X).

, . -, . 4.3.3, , . 7.1. var , , . . , , , , , . - , . , , .


: 0.102. /Cache: 0 / 0