High Quality Content by WIKIPEDIA articles! The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen`s OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection.