有限域 - 两次连续调用 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报告）