空集合的 walk* 操作导致栈溢出

Question

我在使用新 pldb 中的子集关系断言时注意到了这个问题，我遇到的最小情况是 (walk* empty-s #{})

Answer 1

评论者：norman

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

Answer 2

评论者：dnolen

相等的集合不统一是问题。至少这一点应该工作。包含逻辑变量的集合应抛出错误。将集合统一（分配）到逻辑变量应工作。

Answer 3

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