运行 rembero 返回值：(!= _0 _0)

Question

(run* (link: out)

  (fresh (link: y z)
         (rembero y (list 'a 'b y 'd z 'e) out)))

=>
((b a d _0 e)
(a b d _0 e)
((a b d _0 e) :- (!= (_1 b)) (!= (_1 a)))
((a b _0 d e) :- (!= (_0 _0)) (!= (_0 b)) ((image: = (_0 d)) ()= (_0 a))))

Answer 1

参考： https://clojure.atlassian.net/browse/LOGIC-181 (由 alex+import 提出)