I hadn&#x27;t heard of Maude before, thanks! For those interested in this kind of thing, another well-known term-rewriting language is Pure (<a href="http:&#x2F;&#x2F;purelang.bitbucket.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;purelang.bitbucket.org&#x2F;</a>), which grew out of an earlier project called Q (<a href="http:&#x2F;&#x2F;q-lang.sourceforge.net&#x2F;" rel="nofollow">http:&#x2F;&#x2F;q-lang.sourceforge.net&#x2F;</a>).