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
