On Sun, Jan 23, 2011 at 10:01 PM, David Nolen <dnolen.li...@gmail.com>wrote:
> I just pushed the latest version of Logos. The project is now, I believe, > sufficiently original. For the amount of time that I've spent on it, I'm > surprised that it can solve the classic Zebra problem in nearly the same > amount of time as SWI-Prolog - 7ms on my machine. I attribute this to a few > things: > > * miniKanren's purely functional approach is a great design that matches > with Clojure's unique strengths > * protocols deliver on allowing you to write succinct code that really lets > you get to the speed of the host > > Another big change is a logos.nonrel namespace which contains copy-term, > project, cond-a (soft cut), cond-u (Mercury-style committed choice). > > Next up, logic variable aware pattern matching so that you can write > Clojure miniKanren programs that are as succinct as their Prolog cousins. > > David > Link: https://github.com/swannodette/logos -- 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