有什么地方可以找到 clpfd 实现中的差异集合吗？
最佳答案
有一种支持一种语言的列表
形式或另一种约束逻辑编程。这个
有时表示为 CLP(*):
参见“基于逻辑编程的约束逻辑”部分:
https://en.wikipedia.org/wiki/Constraint_programming#Some_languages_that_support_constraint_programming
列表中的所有语言是否也支持
中电(FD)我不确定。维基页面也没有
比较矩阵。但这可能是一个开始研究
不同的系统。
CLP(FD) 系统有许多有趣的维度:
- 是否支持 bignums:GNU 否，SWI-Prolog 是，Jekejeke 是
- 是否支持负整数:GNU 否，SWI-Prolog 是，Jekejeke 是
- 允许使用什么算术表达式:t.b.d.
- 允许使用哪些集合符号:GNU 限制、SWI-Prolog sup/inf、Jekejeke sup/inf
- 是否支持具体化:GNU Yes, SWI-Prolog Yes, Jekejeke Not Yet
- 支持哪些特殊约束:GNU 基数、SWi-Prolog 基数等，Jekejeke Not Yet
- 标签参数是什么:t.b.d.
再见
关于prolog - 不同 clp(FD) 库实现的兼容性，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/29316431/