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

Reply via email to