When I run (run* [q] (fresh [x] (== [x] ['z]) (== q x))), I get (z), which makes sense.
When I run (run* [q] (fresh [x] (== q x))), I get (_0), which makes sense since I've placed no restriction on x. However, when I run (run* [q] (fresh [x] (== ['x] ['z]) (== q x))), I get (), which doesn't make sense to me. Obviously (== ['x] ['z]) is placing some sort of impossible constraint on x, but I can't tell what that constraint is actually doing. Ultimately, what I want to be able to do is something along the lines of: (def my-var '[x]) (run* [q] (fresh [x] (== my-var ['z]) (== q x))) and get back (z) instead of (). Note that the following produces (z) as desired: (def my-other-var '[z]) (run* [q] (fresh [x] (== [x] my-other-var) (== q x))) So it is only the passing in of the fresh variable that isn't working the way I would expect it to. Any idea on what I can do to make this work? -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
