core.logic

• Type: Defect
• Status: Resolved
• Priority: Major
• Resolution: Completed
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  • +fd
  • bug
  • finite-domains
  • infd
• Environment:

  Clojure 1.4, core.logic 0.8-alpha3

When running the code:

(run* [q]
(fresh [a b c d]
(infd a b c d (domain 1 3 4 5))
(+fd b 1 a)
(+fd c 1 b)
(+fd d 1 c)
(== q [a b c d])))

I get the ouput:

([5 4 3 1])

But I would expect:

()

Because [5 4 3 1] is no sequence where the next element is always one number higher than the one before.

It seems to me like +fd behaves as it would take the next element in the domain, instead of taking the next higher number (I hope I didn't misunderstand +fd or infd).

• Assignee:

  David Nolen

  Reporter:

  naeg

• Created:

  10/Sep/12 4:50 PM

  Updated:

  26/Oct/12 1:03 AM

  Resolved:

  26/Oct/12 1:03 AM