Comment by ayberkt

No, not really. The wikipedia page of Maude has a good explanation of what it is like: https://en.wikipedia.org/wiki/Maude_system. You can also see the Maude book if you're interested [1].

[1]: http://maude.cs.illinois.edu/w/images/0/0d/Maude-book.pdf