CLP(FD) 约束

CLP(FD) 约束是完全纯粹的关系。它们可以在所有方向上用于声明性整数运算：

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

?- 3 #= Y+2.
Y = 1.