En Maude el código será el siguiente: