CLP(FD) 约束

CLP(FD) 约束由所有严肃的 Prolog 实现提供。它们允许我们以纯粹的方式推理整数。

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

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