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.
