有限域 - 连续两次调用 run* 返回不同的结果

Question

使用相同的输入两次调用 run* 可能在没有任何明显原因的情况下返回不同的结果。
参见附件。

Answer 1

评论者：dnolen

出问题的是，该代码错误地使用有限域操作在未被分配域的新变量上。能否提供一个纠正后的出错代码的新版本，以演示该问题？

Answer 2

评论者：maurolopes

当然。我刚刚添加了包含每个参与 fd 操作的变量都已分配有限域的新代码版本。问题仍然存在。

Answer 3

评论者：dnolen

这个问题可能与 LOGIC-162 有关。

Answer 4

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