(Having said that, I wouldn't be surprised if he's unified them) On Wed, Aug 15, 2012 at 9:19 PM, Ambrose Bonnaire-Sergeant < [email protected]> wrote:
> Hmm, looks like clojure.core.logic/!= is what you want? > > I forgot David has his own constraint system separate to cKanren. > > Thanks, > Ambrose > > On Wed, Aug 15, 2012 at 9:07 PM, Ambrose Bonnaire-Sergeant < > [email protected]> wrote: > >> What would you expect to happen when you pass not-nilo a logic variable? >> >> Thanks, >> Ambrose >> >> >> On Wed, Aug 15, 2012 at 9:02 PM, Jim - FooBar(); <[email protected]>wrote: >> >>> Hi everyone, >>> >>> I was thinking about how to invert the 'nilo' relation found in >>> core.logic: >>> >>> (defn nilo >>> "A relation where a is nil" >>> [a] >>> (== nil a)) >>> >>> >>> there is a != operator but it is in the arithmetic namespace so i don't >>> expect it to work... >>> >>> any pointers? >>> >>> Jim >>> >>> >>> -- >>> 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 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
