It should unify:

(foo ?x . ?y)

If it doesn't we should open up a ticket for that.

On Sunday, March 4, 2012, Jonas <jonas.enl...@gmail.com> 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 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 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

Reply via email to