Btw if I sounded sarcastic I wasn't. I actually would love to spend time thinking about it.
On Thursday, 28 March 2013 16:12:06 UTC-4, JvJ wrote: > > Any other hints? I'd love to spend time on this brain tickler, but I have > other things to do. > > On Thursday, 28 March 2013 16:05:00 UTC-4, JvJ wrote: >> >> Alright, I'm starting to get it.... but not quite there >> >> (run* [q] >> (fresh [x] >> (conde >> ( (== q 1) ) >> ( (== q 2) ) >> ( (== q 3) ) >> ( (== q 4) )) >> >> (conde >> ( (== x 3) ) >> ( (== x 4) ) >> ( (== x 5) ) >> ( (== x 6) )) >> >> (!= q x))) >> (1 1 1 2 1 2 2 2 3 4 3 3 4 4) >> >> On Thursday, 28 March 2013 15:44:01 UTC-4, David Nolen wrote: >>> >>> This won't work. Rewrite this example w/o using facts and try to >>> understand why it won't work. >>> >>> David >>> >>> On Thu, Mar 28, 2013 at 3:37 PM, JvJ <kfjwh...@gmail.com> wrote: >>> >>>> Here's what I'm trying... >>>> >>>> (facts a [[1] >>>> [2] >>>> [3] >>>> [4]]) >>>> nil >>>> (facts b [[3] >>>> [4] >>>> [5] >>>> [6]]) >>>> >>>> (run* [q] >>>> (a q) >>>> (fresh [x] >>>> (b x) >>>> (!= q x))) >>>> (1 1 2 1 1 2 2 2 3 4 3 3 4 4) >>>> >>>> So what the heck is this all about? >>>> >>>> On Thursday, 28 March 2013 15:17:24 UTC-4, David Nolen wrote: >>>> >>>>> negation is hard. This has come up several times. It may be possible >>>>> to a better form of negation as failure via delays, but this not high on >>>>> my >>>>> current priority list. Patches to make it work are of course most welcome. >>>>> >>>>> >>>>> On Thu, Mar 28, 2013 at 2:54 PM, JvJ <kfjwh...@gmail.com> wrote: >>>>> >>>>>> Thanks, but there's another aspect to this. >>>>>> >>>>>> Let's say I had two relations A and B, and I wanted all q such that >>>>>> (A q) >>>>>> (not (B q)) >>>>>> >>>>>> How would that work? >>>>>> >>>>>> >>>>>> On Thursday, 28 March 2013 14:50:33 UTC-4, Jim foo.bar wrote: >>>>>> >>>>>>> clojure.set/difference >>>>>>> 'membero' combined with its negated form? >>>>>>> >>>>>>> Jim >>>>>>> >>>>>>> On 28/03/13 18:47, JvJ wrote: >>>>>>> > In core.logic, how do the following: "Give me everything that is a >>>>>>> > member of list A and not a member of list B"? >>>>>>> > -- >>>>>>> > -- >>>>>>> > You received this message because you are subscribed to the Google >>>>>>> > Groups "Clojure" group. >>>>>>> > To post to this group, send email to clo...@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+u...@**googlegroups.com >>>>>>> > For more options, visit this group at >>>>>>> > http://groups.google.com/**group**/clojure?hl=en<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+u...@**googlegroups.com. >>>>>>> > For more options, visit https://groups.google.com/**grou** >>>>>>> ps/opt_out <https://groups.google.com/groups/opt_out>. >>>>>>> > >>>>>>> > >>>>>>> >>>>>>> -- >>>>>> -- >>>>>> You received this message because you are subscribed to the Google >>>>>> Groups "Clojure" group. >>>>>> To post to this group, send email to clo...@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+u...@**googlegroups.com >>>>>> For more options, visit this group at >>>>>> http://groups.google.com/**group/clojure?hl=en<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+u...@**googlegroups.com. >>>>>> For more options, visit >>>>>> https://groups.google.com/**groups/opt_out<https://groups.google.com/groups/opt_out> >>>>>> . >>>>>> >>>>>> >>>>>> >>>>> >>>>> -- >>>> -- >>>> You received this message because you are subscribed to the Google >>>> Groups "Clojure" group. >>>> To post to this group, send email to clo...@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+u...@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+u...@googlegroups.com. >>>> For more options, visit https://groups.google.com/groups/opt_out. >>>> >>>> >>>> >>> >>> -- -- 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.