What don't you like about Maude? On Wed, Apr 18, 2012 at 10:05 PM, Matthew Rocklin <mrock...@gmail.com>wrote:
> 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 -- 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