一次约束程序中可能含有多个随机元素，可能会执行多次

Question

这里是使用 fixc 的两个示例

`
(run* [q]
(fresh [x y]

(fixc [x y]
  (fn [[x y] a _] (!= x 1))
  (fn [[x y] a] (= (walk a x) (walk a y)))
  '...)
(== x y)))

(run* [q]
(fresh [x y c d]

(fixc [x y]
  (fn [[x y] a _] (!= x y))
  (fn [[x y] a] (or (not (lvar? (walk a x))) (not (lvar? (walk a y)))))
  '...)
(== [x y] [[c] [d]])))

`

每个示例中，约束 != 被再现两次，这表明 fixc 约束确实运行了两次。

Answer 1

评论者：dnolen

对于第一个示例，我在 master 上看到以下结果

((_0 :- (!= (_1 1))))

这是你看到的结果吗？由于 x 甚至都不是答案的一部分，我觉得我们应该显示这些约束规则？

Answer 2

评论者：namin

我通过将约束规则集合化来更改了再现器，因此你现在只会得到一个结果。所以我的说明已经过时了，但问题仍然存在。过滤出无关约束是一个单独的问题，我同意这也应该完成（我尽力对名义约束做到这一点）。

Answer 3

参考： https://clojure.atlassian.net/browse/LOGIC-117（由 namin 报告）