Given this: (defn nullo [l] (== '() l))
(defn all-uno [l] (conde [(nullo l) s#] [(fresh [f r] * (firsto l 1)* (resto l r) (all-uno r))])) why is it that (run* [q] (all-uno [1 q 1 q])) unifies q with 1 and (run* [q] (all-uno '(1 q 1 q))) doesn't? More generally, when using core.logic, when should we expect behavior to differ when using vectors vs proper lists? -- -- 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/groups/opt_out.