The Maude folder contains the skeleton of an instance of Logic.Logic for Maude, see https://en.wikipedia.org/wiki/Maude_system

M. Codescu, T. Mossakowski, A. Riesco, and C. Maeder. Integrating Maude into Hets In M. Johnson and D. Pavlovic, editors, Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology (AMAST 2010). http://maude.sip.ucm.es/~adrian/files/hetsAMAST.pdf

Adrián Riesco Rodríguez: Declarative Debugging and Heterogeneous Specification in Maude, PhD thesis http://maude.sip.ucm.es/~adrian/files/thesis.pdf