Maude is a really cool Language based on rewriting logic.

http://maude.lcc.uma.es/maude31-manual-html/maude-manual.htm...