标签： logic-programming maude-system
有没有办法将Maude表达式转换为字符串？
我正在寻找相当于Haskell的show。
show
答案 0 :(得分：2)
没有真正干净的解决方案。您可以将表达式转换为 metaterm，metaPrettyPrint它，将生成的Qids转换为字符串 并连接它们，但你仍然需要处理词汇 问题，例如插入空格的位置。
（来自Maude mailing list）