clojure - mini-kanren cond-a cond-u 和 cond-e 有什么区别？

Question

我曾尝试在 clojure 中使用 mini-kanren 的实现。但是一直在努力理解 cond-a cond-u 和 cond-e 之间的区别。我似乎很清楚 cond-e 但对 cond-a 和 cond-u 的理解很糟糕。

cond-e 设定一组目标，然后尝试每个目标……即尝试所有成功的分支。

相反，cond-a 和 cond-u 提交到第一个谓词成功的分支，并且 cond-a 在此之后返回所有可能的成功统一。虽然 cond-u 只返回第一个成功的统一......但是当我使用它时，这种理解似乎是不正确的。有人可以帮我澄清这种理解。

Answer 1

cond-e 给出了所有成功分支的所有答案

cond-i 给出每个答案，但将它们交错。

cond-a 只给出第一个成功分支的答案

cond-u 只给出第一个成功分支的第一个答案