5 ms·
The dosync.posterous.com link is me ;)
by swannodette 15y ago
The dosync.posterous.com link is me ;)
- keithflower 15y agoHeh...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?
- swannodette 15y agoI 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.