On Wed, May 4, 2011 at 11:11 AM, David Nolen <dnolen.li...@gmail.com> wrote:
> On Wed, May 4, 2011 at 10:37 AM, Frantisek Sodomka <fsodo...@gmail.com>wrote: > 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 > While we're on the topic of logic programming languages, something I would really like to see get folded into core.logic would be a constraint solving library, something along the lines of Constraint Handling Rules (CHR) ( http://en.wikipedia.org/wiki/Constraint_Handling_Rules). A good introduction to the ideas behind CHR can be found in Concepts, Techniques, and Models of Computer Programming (an excellent text for the Clojurian on many fronts). 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
