空集合的 walk* 导致栈溢出

Question

我在使用新 pldb 功能声明含有空集合的关系时注意到了这个问题，我有的最小案例是 (walk* empty-s #{})

Answer 1

评论由：norman 提供

这是一个更新，它允许集合作为术语使用，并正确地遍历集合。它不做两个集合之间的并集统一，这是一个更难的问题。

Answer 2

评论由：dnolen 提供

相等的集合无法统一是一个问题。这一点至少应该工作。包含逻辑变量的集合应该抛出异常。将集合统一（分配）到逻辑变量应能工作。

Answer 3

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