一个与关键字统一的lvar与关键字的行为不同

Question

(run 1 [q]
     (fresh [x]
            (== x :a)
            (== q ({:a 0} x))))
=> (nil)
(run 1 [q]
     (fresh [x]
            (== x :a)
            (== q ({:a 0} :a))))
=> (0)
(run 1 [q]
     (fresh [x]
            (== x :a)
            (== {:a 0} {x q})))
=> ()
(run 1 [q]
     (fresh [x]
            (== x :a)
            (== {:a 0} {:a q})))
=> (0)

Answer 1

参考：https://clojure.atlassian.net/browse/LOGIC-182（由 alex+import 报告）