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

Question

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

可行吗？我正在寻找任何形式的输入，因为我的谷歌搜索没有引起任何兴趣。

编辑： 在搜索时使用引号可以获得更好的结果（doh！）。嗯...很高兴收到反馈意见。

编辑： 有一个库包括B-Prolog（clpset），它正是这样做的。

Answer 1

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