Speaking of core.logic and totally hijacking this thread.... Fogus has been prodding me to do a miniKanren Confo during Clojure/West. We are running a poll for feedback (http://bit.ly/12T37ez) and would be happy to get more if you have some. Both Byrd and Friedman seem interested in participating, although nothing is confirmed yet.
Based on the early feedback, it will probably be either the afternoon of Sunday Mar 17 (day before Clojure/West) or Monday Mar 18 in the evening. Cost will probably be $50 for 3-4 hrs of talk about logic programming, core.logic, miniKanren, and other such things! Hopefully I'll have the logistics finalized in the next couple days. Alex Miller On Tuesday, January 1, 2013 4:03:07 PM UTC-6, David Nolen wrote: > > Hot on the heels of beta4, we have beta5. It fixes an annoying bug around > the `<=fd` constraint discovered by Gary Fredericks. > > However the biggest change is the inclusion of an entirely new constraint > domain - Nominal Abstract Syntax. This exciting addition is thanks to the > awesome work of Nada Amin. > > I don't expect this feature to be utilized by many, but if you're > interested in theoretical computer science (lambda calculus, pi-calculus, > type inferencers, and much more), it's incredibly fun stuff. > > If you'd like to learn more about nominal logic programming I recommend > the following paper: > http://arxiv.org/abs/cs/0609062 > > I believe this may be the very first time nominal logic programming has > been properly hosted within a Constraint Logic Programming framework :) > > Even if you're not interested in theoretical computer science, the > inclusion of this work has been critical in confirming the extensibility of > core.logic to other forms of logic programming without requiring any > critical changes to the core. > > http://github.com/clojure/core.logic > > Happy New Years! > 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
