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.