after looking through his source code ... I discovered that replacing cond-u with cond-a gives me the expected output .. but I am unable to explain what I have found... Regards, Sunil.
On Fri, Nov 5, 2010 at 7:16 PM, David Nolen <dnolen.li...@gmail.com> wrote: > On Thu, Nov 4, 2010 at 11:36 PM, Sunil S Nandihalli < > sunil.nandiha...@gmail.com> wrote: > >> Hello everybody, >> I know that mini-kanren does not have "nonvar" I was trying to emulate its >> effect by using >> >> (cond-u >> ((& x :unassigned) >> fail) >> (succeed)) >> >> The idea is if x is not assigned it would successfully unify with >> :unassigned (ofcourse I am assuming that none of the valid values can be >> :unassigned ). So since I am using cond-u it would commit to the first >> clause in which the first predicate would succeed and the next predicate >> always fails hence it would fail.. >> >> (run q >> (exist [x] >> (& x 10) >> (cond-u >> ((& x :unassigned) >> fail) >> (succeed)) >> (& q 20))) >> >> I tried the above code it is not having the expected behaviour .. Can >> somebody help me with this ..? >> Thanks, >> Sunil >> > > What is the output that you are seeing? > > David > > -- > 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<clojure%2bunsubscr...@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 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
