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

0 votes
in core.logic by

This domain should probably be (interval 0 Long/MAX_VALUE). In order for this to work this means we should probably accept passing in the vars to assigned domains as a seqable. It would be easy to accept the current way and this new way since if the first arg is not a symbol then the new behavior is being requested.

(fd/in [x y]) (fd/in [x y z] (interval 0 10))

1 Answer

0 votes
by
Reference: https://clojure.atlassian.net/browse/LOGIC-48 (reported by dnolen)
...