4 ms·

Many thanks for the info. I'll have to delve into cKanren more - I kind of glossed over it. For anyone else interested, it looks like Claire Alvis is leading d

Many thanks for the info. I'll have to delve into cKanren more - I kind of glossed over it. For anyone else interested, it looks like Claire Alvis is leading development of cKanren. Here's a background paper and a link to the source on github: http://scheme2011.ucombinator.org/papers/Alvis2011.pdf http://scheme2011.ucombinator.org/papers/Alvis2011.pdf https://github.com/calvis/cKanren https://github.com/calvis/cKanren And here's a short example and discussion of use of cKanren by (I think) one of the core.logic creators: http://dosync.posterous.com/another-taste-of-ckanren http://dosync.posterous.com/another-taste-of-ckanren http://groups.google.com/group/clojure/browse_thread/thread/f6336b6e348ed220 http://groups.google.com/group/clojure/browse_thread/thread/... Also, the Friedman group maintains some other source here: https://github.com/iucs/relational-research https://github.com/iucs/relational-research which includes...wait for it...babyMiniKanren (babymk)!

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

swannodette 15y ago

The dosync.posterous.com link is me ;)

keithflower 15y ago
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?
- swannodette 15y ago
  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.