问题标签 [maude-system]

有没有办法将 Maude 表达式转换为字符串？

我正在寻找相当于 Haskell 的show.

更新1

1. 我必须 cabal 安装 maude 才能使用 rewrite，如果不导入 maude，het 工具的 haskell 代码如何在其 haskell 代码中使用 rewrite 和 reduce？

2. 如何以代数规范输入文件或默认系统和逻辑字符串作为参数来证明逻辑以将输出返回到控制台？有没有这方面的例子，并在 Scratch 中完成所有这些？

3. 此外，想在 Scratch 中读取 Owl 文件并在 Scratch 中进行推理，有没有这样的例子？

https://github.com/spechub/Hets/blob/master/Scratch.hs

update2 成功运行第一个示例 RelationAndOrders.casl，但是，Scratch.hs 中流程的目标和输出是什么

更新3

运行 BasicSpec.casl 时

如何使用谓词.maude？有没有关于它的用法的例子

看来 rewrite 也做了减少的工作

如何得到结果 7，我看到它在迭代中

我知道在 maude 中，您可以通过以下方式之一定义操作：

但是有没有办法定义操作，使其有更多的操作数？

我正在编写我的编程语言Ya的新转译器编译器。由于AST 抽象语法树转换和输出语言代码生成很重要，所以我希望使用现有的tree#graph 转换器 和 输出生成器 = 漂亮的打印机。但是由于找不到使用示例，现在找不到该工具。我读过的有前途的工具列表：

• Spoofax + Stratego/XT : 目前还没有找到源代码；或者可能找到但它在 Java 中不允许评估 Stratego lang 的功能。
• 流氓 MPL。它只有JVM执行 => 作为初始C++追随者，如果要使用它，我会遇到麻烦。
• OBJ OBJ3 莫德。什么都不知道。

并且还发现：

• Coctail http://cocolab.com的成本为 3000 欧元，因此由于隐藏了源代码，因此无法将其源代码视为最佳使用示例 => 无法评估其功能。3K 欧元也接近为我禁用此功能。

问题：

• 是否还有其他树#graph 转换工具#langs #来自AST _like 数据的源代码文本输出器？
• 寻找graph#tree transformer good+big+complex 用法示例。期望编译器源代码是最好的情况。
• 欢迎所有关于Spoofax Stratego/XT Rascal Obj的想法。

我正在阅读编程语言 Maude 的手册，发现了一些关键字sort。它的描述（这里）是：

• 排序，为数据类型命名，

有人知道这意味着什么吗？它只是定义一个类型吗？

为什么以下是自然数的正确实现？

特别是我很难理解最后两行以及它们如何确保正确定义自然数。任何帮助

学习莫德语言时，我该去哪里寻求指导？

我从未使用过 Maude 重写逻辑（特别是 RT-Maude），我正在尝试了解实现它的最佳方法，安装它......等等。我正在寻找教程，以及为初学者提供出色指导的网页。

有什么帮助吗？