This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2015-07-29
Channels
- # admin-announcements (48)
- # announcements (1)
- # beginners (80)
- # boot (150)
- # cljs-dev (12)
- # clojure (133)
- # clojure-dev (1)
- # clojure-italy (27)
- # clojure-japan (1)
- # clojure-russia (77)
- # clojurescript (236)
- # clojutre (3)
- # code-reviews (1)
- # core-async (14)
- # core-logic (4)
- # core-matrix (15)
- # cursive (5)
- # datomic (30)
- # editors (16)
- # events (1)
- # hoplon (1)
- # ldnclj (17)
- # off-topic (30)
- # om (2)
- # onyx (47)
- # reagent (8)
Say you have a unary relation (1to10 n)
which unifies n
with the 1, 2,... , 10. And say you have two logic variables n1
and n2
both resulting from unification with 1to10
, and you want to express that n1
comes before n2
in 1to10
. Is that possible? (`clojure.core.logic.fd/<` is of course cheating)
When it comes to working with numbers-as-lvars, I think fd
is pretty much your only choice