On Thu, Jul 4, 2013 at 9:36 AM, Tassilo Horn <t...@gnu.org> wrote:

>
> Not sure if core.logic can do relations between infinite sets...
>

Sure, why not?  Here's a trivial example of combinations of all lists
containing :x with all the lists containing :y, both infinite.

(run 10 [x y]  (membero :x x)  (membero :y y))

([(:x . _0) (:y . _1)]


 [(:x . _0) (_1 :y . _2)]


 [(_0 :x . _1) (:y . _2)]


 [(:x . _0) (_1 _2 :y . _3)]


 [(:x . _0) (_1 _2 _3 :y . _4)]


 [(_0 :x . _1) (_2 :y . _3)]


 [(:x . _0) (_1 _2 _3 _4 :y . _5)]


 [(:x . _0) (_1 _2 _3 _4 _5 :y . _6)]


 [(_0 _1 :x . _2) (:y . _3)]


 [(_0 :x . _1) (_2 _3 :y . _4)])

-- 
-- 
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.


Reply via email to