clojure - 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

私は正しいことを覚えています。