This looks like it's using Prolog to be a rewriting engine into C? It reminds me a bit of M4 but seems like something better suited to something like Maude [1]?

This looks like it's using Prolog to be a rewriting engine into C? It reminds me a bit of M4 but seems like something better suited to something like Maude [1]? [1]: https://maude.cs.illinois.edu/wiki/Maude_Overview https://maude.cs.illinois.edu/wiki/Maude_Overview