Hello, << As a disclaimer I know very little about this topic or about Clojure; please be kind. >>
Background: I'm interested in implementing a small term rewriting system for a specific application. I'm willing to spend some time learning a new language/system in order to do this cleanly. I'm currently playing with the Maude system but am finding it restrictive. I've heard good things about Clojure's core.logic module and thought it might be a good case of a domain specific sublanguage contained within a general purpose language. Question: Are there examples of term rewriting systems written in Clojure? If not, how difficult would this be? Are there suggested ideas or directions on implementation? I suspect that core.logic's unification system can be leveraged to perform much of the work. Best, -Matthew Rocklin <http://matthewrocklin.com> -- 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
