Heh...excellent, David! Thanks for the great work - I've read several pieces you've done on Kanren stuff (and read some of your past logic programming comments here), and I've learned a lot.
EDIT: You supplemented Clojure's implementation of miniKanren (core.logic) with great macros like defrel, facts, extend-rel, and a lot of other stuff. Those are the kinds of things that seemed a bit more convenient to me in Kanren (the optimized Scheme version), maybe because they seem more "Prolog-like" to me, especially extend-rel. I need to go back and look at RS miniKanren again to see how easy/desirable it would be to have those macros. Any thoughts?
I showed my extensions to Dan & Will and they both liked them. I think miniKanren could benefit from clear, simple implementations of something like defrel, fact, etc.
