We're updating the issue view to help you get more done. 

The order of constraits matters?

Description

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:

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

core.logic will freeze and never return the answer.

Environment

Clojure 1.8, core.logic 0.8.11

Status

Assignee

David Nolen

Reporter

import

Labels

None

Approval

None

Patch

None

Priority

Minor