core-logic

johanatan 2016-10-20T02:47:43.000096Z

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

johanatan 2016-10-20T02:47:58.000097Z

anybody else have any ideas?

johanatan 2016-10-20T03:02:11.000099Z

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)

johanatan 2016-10-20T04:02:53.000101Z

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=> 

johanatan 2016-10-20T04:03:50.000102Z

@dnolen ^

johanatan 2016-10-20T04:30:33.000103Z

doh!

johanatan 2016-10-20T04:30:45.000104Z

Looks like: (everyg identity goals) works!