在 Prolog 中使用集合进行约束逻辑编程答案

【问题标题】：Constraint logic programming with sets in Prolog在 Prolog 中使用集合进行约束逻辑编程
【发布时间】：2013-09-15 18:39:45
【问题描述】：

clpfd 是 SWI Prolog 中整数的约束编程库。有没有类似的集合库？如果没有，您是否知道任何对实现此类库有用的文章？

真的可行吗？我真的在寻找任何类型的输入，因为我的谷歌搜索没有返回任何感兴趣的内容。

编辑：搜索时使用引号会得到更好的结果（doh！）。好吧...无论如何，很高兴收到反馈。

编辑：有一个包含 B-Prolog (clpset) 的库正是这样做的。

【问题讨论】：

我面前有 Toshinori Munakata 的论文“在 Prolog 中实现集合的注意事项”（ACM 通讯，1992 年 3 月，第 35 卷，第 3 期）。很遗憾，它仍然是paywalled at the ACM。

【解决方案1】：

您可以在 SICTUS Prolog 或 B-Prolog 中找到 CLP(Set)。由于Picat 继承了 B-Prolog 的虚拟机，我认为您也可以使用一种新的命令式语言来试验这种约束。

【讨论】：