What don't you like about Maude? On Wed, Apr 18, 2012 at 10:05 PM, Matthew Rocklin <[email protected]>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 [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 -- 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
