Su implementación en maude es la siguiente: