It should unify: (foo ?x . ?y)
If it doesn't we should open up a ticket for that. On Sunday, March 4, 2012, Jonas <[email protected]> wrote: > > > On Sunday, March 4, 2012 9:39:19 PM UTC+2, David Nolen wrote: >> >> This is just ... fantastic! :D >> > > David, quick question about the core.logic unifier. Is it possible to unify on a sequence? For example (when ?x ??body) would unify with both > (when (some pred) > a) > and > > (when (some pred) > a > b > c) > Thanks, > Jonas > > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this group, send email to [email protected] > Note that posts from new members are moderated - please be patient with your first post. > To unsubscribe from this group, send email to > [email protected] > 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 post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en
