I just pushed out a new release of Logos, my implementation of miniKanren.
At this point it's now pretty original, v0.1's goal and goal constructor
code was mostly a port. Because of that it suffered as the original
implementation assumed TCO. I rewrote that portion of the code from scratch
to use lazy sequences. I'm pleasantly surprised to find that lazy sequences
can deliver many of the benefits of TCO.

It's also 2X faster than v0.1.

https://github.com/swannodette/logos

David

-- 
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

Reply via email to