Clojure、core.logic、mini-kanren：eqo vs ==

Question

我知道：https://github.com/clojure/core.logic/wiki/Differences-from-The-Reasoned-Schemer

上下文

迷你看人代码：

(run* (q)
  (eqo pear plum)
  (== #t q))

core.logic 代码

(run* [q]
  (== pear plum)
  (== true q))

这会产生结果（），这是正确的答案。

问题：

eqo 和 == 是一样的，还是我在上面的例子中只是幸运？谢谢！

Answer 1

我没记错 eqo 只是调用 ==