我知道:https ://github.com/clojure/core.logic/wiki/Differences-from-The-Reasoned-Schemer
语境
迷你看人代码:
(run* (q)
(eqo pear plum)
(== #t q))
核心逻辑代码
(run* [q]
(== pear plum)
(== true q))
这会产生结果 (),这是正确的答案。
问题:
eqo 和 == 是一样的,还是我在上面的例子中只是幸运?谢谢!