Maude-help mailing list

[Daniel Selsam <daniel.selsam AT gmail.com>]

Hi,

I am having a lot of trouble getting Maude programs to work, and it is no 
wonder, since although I read most of the manual, I still do not know some of 
the most basic aspects of how Maude works.

Is there a precise specification of what order Maude does things in, e.g. on 
a call to rewrite? Do we have any guarantees about what order the equations 
are tried in, or the rules, or how it picks different matches to try, and how 
it backtracks if a match fails a condition, and so forth? 

Also, is there any publicly available code written in Maude that I can play 
around with, besides the ones that go along with the manual and the book? 

Thanks.