Maude system

The Maude system is an implementation of rewriting logic. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection. Wikipedia

Operating systems: Q388

Wikidata: Q3558930

Programming paradigms: logic programming • reflective programming • metaprogramming