Maude

From Rosetta Code