On Wed, May 4, 2011 at 10:37 AM, Frantisek Sodomka <fsodo...@gmail.com>wrote:
> Hello David, > thanks for your work. It is very interesting addition. > > One thing that came to my mind, is a language Mercury: > http://en.wikipedia.org/wiki/Mercury_(programming_language) > http://www.mercury.csse.unimelb.edu.au/ > > Mercury is an amazing project. In fact the original miniKanren (on which core.logic is based) designers were well aware of it and even based their soft-cut and committed choice notions on it. So there's some pieces of Mercury already in core.logic ;) Mercury also makes a quite a few design decisions (many related to performance) that take it far away from Prolog - it doesn't even have a REPL. Still there's a goldmine of interesting papers related to that project that I've only scratched the surface of - Mercury's STM, etc. 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
