不同clp(FD)库实现的兼容性

时间:2015-03-28 11:11:51

标签: prolog compatibility clpfd

在某些地方我可以找到clpfd实现中的差异集合吗?

1 个答案:

答案 0 :(得分:1)

有一种支持一种语言的语言列表 形式或另一种约束逻辑程序设计。这个 有时表示为CLP(*):

参见"基于逻辑编程的约束逻辑":
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。

再见