core.logic

The order of constraits matters?

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Minor Minor
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None
  • Environment:
    Clojure 1.8, core.logic 0.8.11

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:

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

core.logic will freeze and never return the answer.

Activity

There are no comments yet on this issue.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: