[LOGIC-52] Bug in finite domains (+fd, infd) Created: 10/Sep/12 Updated: 28/Jul/13 Resolved: 26/Oct/12
|Labels:||+fd, bug, finite-domains, infd|
Clojure 1.4, core.logic 0.8-alpha3
When running the code:
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).
|Comment by naeg [ 11/Sep/12 4:48 PM ]|
There is workaround using membero:
Note that this is quite a lot slower than it would be with infd.
|Comment by David Nolen [ 26/Oct/12 1:03 AM ]|
This is fixed try the latest 0.8.0 beta