The order of constraits matters?
The Wiki page (https://github.com/clojure/core.logic/wiki/A-Core.logic-Primer#corelogic-is-declarative) says "...the order of constraints does not matter as far as the value of the (run* ...) expression is concerned." But I tried this example of Sudoku solver (https://gist.github.com/orb/5884956) and found that if you exchange these two lines:
core.logic will freeze and never return the answer.
Clojure 1.8, core.logic 0.8.11