Fork me on GitHub
#core-logic
<
2016-10-20
>
johanatan02:10:43

actually bind is not working for constraints created with fd/dom e.g.

johanatan02:10:58

anybody else have any ideas?

johanatan03:10:11

This is the result in its basest form:

slipstream.core=> (run* [q] (clojure.core.logic.protocols/bind s# (fd/dom q (fd/interval 0 10))))

ArityException Wrong number of args (1) passed to: logic/eval1901/fn--1902/-inc--1903  clojure.lang.AFn.throwArity (AFn.java:429)

johanatan04:10:53

This works as expected:

slipstream.core=> (run* [q] (fd/dom q (fd/interval 0 10)))
(0 1 2 3 4 5 6 7 8 9 10)
slipstream.core=> 

johanatan04:10:45

Looks like: (everyg identity goals) works!