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