Tor*_*gny 3 set prolog logic-programming constraint-programming
clpfd是SWI Prolog中整数的约束编程库.集合中是否有类似的库？如果没有,你知道任何有用的文章来实现这样的库吗？
它可行吗？我正在寻找任何形式的输入,因为我的谷歌搜索没有引起任何兴趣.
编辑:搜索时使用引号可以获得更好的结果(doh!).嗯...很高兴收到反馈意见.
编辑:有一个包含B-Prolog(clpset)的库正是这样做的.
| 归档时间： |
|
| 查看次数： |
205 次 |
| 最近记录： |