当使用 `(!= (_0 _0))` 时，不等性可能不会消除

Question

当一个统一约束和一个不等性约束应用于同一 lvars 时，它们可能会消除可能性。

`
(run 1 [q]
(fresh [v n]
(== q v)
(!= q v)))

;=> ()
`

然而，当插入一个独立的非等性时，可能性不会被消除。

`
(run 1 [q]
(fresh [v n]

(== q v)
(!= q n)
(!= q v)))

;=> ((_0 :- (!= (_0 _0)) (!= (_0 _1))))
`

我期望这也返回 '()。

Answer 1

参考：https://clojure.atlassian.net/browse/LOGIC-175 (由 xeqi 报告)