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