不同 clp(FD) 库实现的兼容性
Compatibility of different clp(FD) library implementations
有没有什么地方可以找到 clpfd 实施差异的集合？
有一种支持一种语言的列表
形式或另一种约束逻辑编程。这个
有时表示为 CLP(*):
参见第 "Logic programming based constraint logic" 部分：
https://en.wikipedia.org/wiki/Constraint_programming#Some_languages_that_support_constraint_programming
列表中的所有语言是否也支持
CLP(FD) 我不确定。维基页面也没有
比较矩阵。但这可能是一个开始调查
不同的系统。
CLP(FD) 系统有很多有趣的维度：
- 是否支持 bignums：GNU 不支持，SWI-Prolog 支持，Jekejeke 支持
- 是否支持负整数：GNU 否，SWI-Prolog 是，Jekejeke 是
- 允许使用哪些算术表达式：t.b.d.
- 允许使用哪些集合符号：GNU 限制、SWI-Prolog sup/inf、Jekejeke sup/inf
- 是否支持具体化：GNU 是，SWI-Prolog 是，Jekejeke 还没有
- 支持哪些特殊约束：GNU 基数、SWi-Prolog 基数等，Jekejeke Not Yet
- 标签参数是什么：t.b.d.
再见
有没有什么地方可以找到 clpfd 实施差异的集合？
有一种支持一种语言的列表 形式或另一种约束逻辑编程。这个 有时表示为 CLP(*):
参见第 "Logic programming based constraint logic" 部分：
https://en.wikipedia.org/wiki/Constraint_programming#Some_languages_that_support_constraint_programming
列表中的所有语言是否也支持 CLP(FD) 我不确定。维基页面也没有 比较矩阵。但这可能是一个开始调查 不同的系统。
CLP(FD) 系统有很多有趣的维度：
- 是否支持 bignums：GNU 不支持，SWI-Prolog 支持，Jekejeke 支持
- 是否支持负整数：GNU 否，SWI-Prolog 是，Jekejeke 是
- 允许使用哪些算术表达式：t.b.d.
- 允许使用哪些集合符号：GNU 限制、SWI-Prolog sup/inf、Jekejeke sup/inf
- 是否支持具体化：GNU 是，SWI-Prolog 是，Jekejeke 还没有
- 支持哪些特殊约束：GNU 基数、SWi-Prolog 基数等，Jekejeke Not Yet
- 标签参数是什么：t.b.d.
再见