Prolog语言CLP（FD）
示例
CLP(FD)约束（有限域）实现整数运算。它们在所有严肃的Prolog实现中都可用。
有两种主要的CLP(FD)约束使用案例：
声明整数算法
解决组合问题，例如计划，调度和分配任务。
例子：
?- X #= 1+2. X = 3. ?- 3 #= Y+2. Y = 1.
请注意，如果is/2要在第二个查询中使用，则会发生实例化错误：
?- 3 is Y+2. ERROR: is/2: Arguments are not sufficiently instantiated
热门推荐
1 泰迪狗狗如何训练
3 狗狗训练图
5 狗狗训练方法
6 训练狗狗不咬人
8 敏捷训练狗狗
10 训练狗狗吃饭
11 泰迪狗狗训练
12 狗狗从多大开始训练
13 狗狗训练学校费用
14 怎么去训练狗狗
15 狗狗训练狗狗
16 狗狗训练教程
17 训练狗狗装死
18 泰迪狗狗的训练方法