Thanks David. I am reading it .. it has nice description of mini-kanren. I was wondering if there is predicate corresponding to prologs "nonvar" in mini-kanren. Sunil.
On Wed, Nov 3, 2010 at 10:13 PM, David Nolen <dnolen.li...@gmail.com> wrote: > On Wed, Nov 3, 2010 at 12:38 PM, David Nolen <dnolen.li...@gmail.com>wrote: > >> On Wed, Nov 3, 2010 at 11:53 AM, Sunil S Nandihalli < >> sunil.nandiha...@gmail.com> wrote: >> >>> thanks Jim for your email. I will try to get my hands on Reasoned >>> Schemer.. :) >>> Sunil. >>> >> > William Byrd's dissertation, http://gradworks.umi.com/33/80/3380156.htmlis a > great source for context, additional info, prior research, papers, etc. > > -- > 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