CLP(FD) 約束

CLP(FD) 約束是完全純粹的關係。它們可以在所有方向上用於宣告性整數運算：

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

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