有限域 - 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 报告）