The package maude-mode is an Emacs mode that allows editing Maude code, and running the Maude interpreter as a subprocess of Emacs similar to inferior-lisp mode.
Some useful links:
Enjoy.
CategoryModes, ProgrammingModes