prolog - 在 Prolog 中使用集合进行约束逻辑编程

Question

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

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

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

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

Answer 1

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