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

Question

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

上下文

mini-kanren代码：

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

core.logic代码

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

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

问题：

eqo和==相同，还是我在上面的例子中幸运？谢谢！

Answer 1

我记得正确的eqo只是调用==