Hi minikanren folks, I've been corresponding with Will about this a little bit already., but I thought I'd mention it here in case anybody is interested.
I've been working on a small miniKanren in Clojure. It's main distinguishing features are that it's a literate program, and that it's written for an audience of software engineers who speak Clojure. This means that some of the names have been changed (eg: mplus -> merge-streams). I've tried to call out and clearly explain the main data structures and algorithms. In particular, there's a big chunk about interleaving streams, which is both a tricky bit of code and a little hard to justify to a Clojure developer with lazy sequences at their disposal. If you'd like to take a look, here it is: http://mullr.github.io/micrologic/literate.html Cheers! - Russell -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
