I should clarify that only Chapter 3 is really relevant. The other chapters explain how tabling, disequality, and nominal logic work - but they are not essential.
Also the version of miniKanren found in the dissertation is available here and I recommend running it in your favorite Scheme: http://github.com/miniKanren/simple-miniKanren. It also works just in Racket as well. On Fri, Apr 5, 2013 at 1:43 PM, JvJ <kfjwhee...@gmail.com> wrote: > > Regardless of the existential issues concerning perception vs. reality on > the brokenness of links, thanks for providing the reading material. > > > On Friday, 5 April 2013 10:28:43 UTC-4, Bost wrote: >> >> I found this >> http://gradworks.umi.com/**3380156.pdf<http://gradworks.umi.com/3380156.pdf>on >> http://www.cs.indiana.edu/~**webyrd/ <http://www.cs.indiana.edu/~webyrd/> >> > -- > -- > 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.
