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 <[email protected]> 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 [email protected] >> > 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 [email protected] > Note that posts from new members are moderated - please be patient with > your first post. > To unsubscribe from this group, send email to > [email protected] > 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 [email protected]. > 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 [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] 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 [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
