Playing with Maude
Miguel Palomino, Narciso Martı́-Oliet, Alberto Verdejo · Electronic Notes in Theoretical Computer Science · 2005
This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.