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

Question

我在使用新版的pldb功能断定包含空集的关系时发现了这个问题，我遇到的最小示例是(walk* empty-s #{})

Answer 1

评论者：norman

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

Answer 2

评论者：dnolen

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

Answer 3

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