Maude system

Sistemul Maude este o implementare a logicii de rescriere.

Este similar în abordarea sa generală a implementării obj3 a lui Joseph Goguen a logicii ecuaționale, dar bazată pe rescrierea logicii, mai degrabă decât pe logica ecuațională sortată de ordine și cu un accent puternic pe metaprogramarea puternică bazată pe reflecție.

Maude este software gratuit, iar tutorialele sunt disponibile online.

A fost inițial dezvoltat la SRI International, dar este acum dezvoltat de o colaborare diversă de cercetători.