约束的顺序重要吗？

Question

维基页面（https://github.com/clojure/core.logic/wiki/A-Core.logic-Primer#corelogic-is-declarative）说：“...从(run*...)表达式的值的角度来看，约束的顺序不重要。”但我尝试了这个数独求解器的例子（https://gist.github.com/orb/5884956}），发现如果你交换这两行

(everyg #(fd/in % sdnum) board) (init-board board puzzle)

{{core.logic}}将会冻结，永远也不会返回答案。

Answer 1

参考资料：https://clojure.atlassian.net/browse/LOGIC-189（被alex+import报告）