Hi fellow Clojurists, 

I've been working on a small miniKanren in Clojure. It started as a port 
of https://github.com/jasonhemann/microKanren. But this one is interesting 
because:
 - It's a literate program, with far more description and examples than 
actual code.
 - Many names have been changed to be more descriptive than that which is 
found in the literature, at least to my eye.
 - It's written in idiomatic Clojure.

It should be a good introduction to the way miniKanren and core.logic work, 
especially if you're more software engineer than computer scientist. Is 
this useful, confusing? Wrong in places? please let me know if you have any 
feedback!

http://mullr.github.io/micrologic/literate.html

Cheers, 

Russell




-- 
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/d/optout.

Reply via email to