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

Reply via email to