空集合的 walk* 导致栈溢出

Question

我注意到在使用新 pldb 功能时，断言含有空集合的关系导致该问题，我所拥有的最小案例是 (walk* empty-s #{})

Answer 1

评论者：norman

这是一个更新，允许集合作为项使用并正确地遍历集合。它不执行一个集合与另一个集合的统一，这是一个更难的问题。

Answer 2

评论者：dnolen

相等的集合没有统一是问题。这至少应该工作。含有逻辑变量的集合应该引发错误。将集合统一（赋值）到逻辑变量应该工作。

Answer 3

参考：https://clojure.atlassian.net/browse/LOGIC-154（hiredman 报告）