Welcome! Please see the About page for a little more info on how this works.

0 votes
in core.logic by

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:

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

{{core.logic}} will freeze and never return the answer.

1 Answer

0 votes
Reference: https://clojure.atlassian.net/browse/LOGIC-189 (reported by alex+import)