约束的顺序是否重要？

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报告）