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 [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en
