这是 maude 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
Maude - 一个高性能的逻辑框架
概要
莫德 [选项[档]
商品描述
本手册页简要记录了 莫德 口译员。 这个手册页是写的
对于 Debian 发行版，因为原始程序没有手册页。
莫德 是一种高性能的反射语言和系统，支持等式和
为广泛的应用程序重写逻辑规范和编程。 莫德 具有
受到了 OBJ3 语言的重要影响，可以看作是
等式逻辑子语言。 除了支持方程规范和编程，
莫德 还支持重写逻辑计算。
重写逻辑是并发变化的逻辑，可以自然地处理状态和
与并发计算。 它具有作为通用语义框架的良好特性
为各种语言和并发模型提供可执行语义。 在
特别是，它支持非常好的并发面向对象计算。 同样的原因
使重写逻辑成为一个很好的语义框架使它也是一个很好的逻辑框架，
也就是说，可以自然地表示和执行许多其他逻辑的元逻辑。
莫德 以系统有效的方式支持逻辑反思。 这使得 莫德
非常可扩展且功能强大，支持模块组合的可扩展代数
操作，并允许许多高级元编程和元语言应用程序。
事实上，一些最有趣的应用 莫德 是元语言应用程序，
在其中 莫德 用于为不同的逻辑创建可执行环境，定理
证明者、语言和计算模型。
- 帮帮我 显示帮助信息
- 版
显示版本号
-没有前奏
不要在标准前奏中阅读
-无横幅
启动时不输出横幅
-没有建议
启动时无提示
-无混合修复
不要对输出使用 mixfix 表示法
-无包装
不要为输出自动换行
-ansi色
使用 ANSI 控制序列
-无ansi-color
不要使用 ANSI 控制序列
-特克拉 使用 tecla 命令行编辑
-无技术
不要使用 tecla 命令行编辑
-批 以批处理模式运行
-交互的
以交互模式运行
-随机种子=
为随机数生成器设置种子
-xml-日志=
设置生成 xml 日志的文件
版权
版权所有 (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA。
版权所有 (c) 1997 - 2002，Makoto Matsumoto 和 Takuji Nishimura，
版权所有 (c) 2000 - 2003，Richard J. Wagner
REPORTING BUGS
将错误报告发送至： 莫德-bugs@maude.cs.uiuc.edu
使用 onworks.net 服务在线使用 maude