Maude is certainly quite interesting. I definitely hope that it takes off. If there were people in my community who were more familiar with Maude I think it would be a good choice for me.
Are you aware of any project that attempts to implement anything like a term rewrite system <http://en.wikipedia.org/wiki/Term_rewriting_system> using Clojure? On Fri, Apr 20, 2012 at 8:46 AM, David Nolen <dnolen.li...@gmail.com> wrote: > I don't know Maude so I can't speak to much on it - though I've heard good > things from many different people. > > Clojure is fairly well documented - core.logic not so much. People are > doing interesting things with it but in order to get proficient it requires > quite a bit of reading and research into miniKanren and Prolog. > > David > > > On Fri, Apr 20, 2012 at 8:43 AM, Matthew Rocklin <mrock...@gmail.com>wrote: > >> I felt like I was spending a large amount of time learning a specialized >> system. About half the time was learning how to pose problems in a new >> paradigm and about half the time was dealing with >> language-specific idiosyncrasies. The first is necessary and good, the >> second was more frustrating. The manual and tutorials are quite good, it >> was frustrating how little resources there were otherwise - it is, for >> example, challenging to find a large quantity of well documented example >> code. Clojure doesn't have this problem. >> >> I would feel much better about learning language-specific idiosyncrasies >> of a general purpose language that I'm likely to use in the future. If >> Clojure + core.logic can easily be adapted to solve term rewriting problems >> then I'd much rather spend time on it. >> >> >> On Thursday, April 19, 2012 9:39:35 PM UTC-5, David Nolen wrote: >>> >>> 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+unsubscribe@**googlegroups.com<clojure%2bunsubscr...@googlegroups.com> >>>> For more options, visit this group at >>>> http://groups.google.com/**group/clojure?hl=en<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 >> > > -- > 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
