问题标签 [mercury]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
mercury - 构建多模块 Mercury 程序
问：构建一个两模块水星计划的简单模板是什么？Module_1 定义和导出一个简单的函数或谓词。Module_2 导入函数/谓词以计算有用的结果并输出结果。
debugging - 如何编译以使用 Mercury 编程语言进行调试？
在 Ubuntu 14.04 上使用 Mercury 14.01.1。从源代码安装了四个等级，包括调试等级。尝试以下各项均未成功（缺少文件/目录）
$ mmc --debug 文件名
$ mmc --decl-debug 文件名
问：我应该输入什么？
list - 如何为导入或输出列表的谓词声明 pred？
寻求帮助为导入或输出列表的谓词声明 pred。我试过：- pred name(list::in, integer::out) 是多的。并且编译器错误消息说 list/0 无法识别。检查了库模块列表，发现我应该写类似 ...(list(T)::in . . . ) 的东西，但不完全明白该怎么做。
mercury - 如何在 Mercury 中将文本行继续到下一行？
如何将过长的行继续到下一行？我尝试使用反斜杠，但 Mercury 编译器不接受该约定。一直找不到这个平凡问题的答案。
mercury - 如何显示长整数列表？（水星语言）
在 io.write_list(List(integer), ",", OutputPred, !IO) 中，什么是 OutputPred？我正在尝试显示整数类型的列表。该列表最初永远不会为空。
mercury - 需要一个水银记录语法的例子
我是水星新手，我正试图围绕Record Syntax来思考，但参考手册是我遇到它的唯一地方，它让我感到困惑：
项 ^ field1(Arg1) ^ field2(Arg2, Arg3) 等价于 field2(Arg2, Arg3, field1(Arg1, Term))。
有人可以帮忙举一个真实的例子吗？
mercury - 在子目录中构建带有子模块的 Mercury 程序
我有一个从另一个文件导入模块的水星程序。我希望能够将此文件放在子目录中。我怎样才能做到这一点？
我mmc -E --make --trace deep filename用来制作程序。
我看过Building Multi-Module Mercury Programs但它似乎没有处理子目录问题，尽管我可能是错的。
mercury - 如何检查变量是否在 Mercury 中实例化
我是 Mercury 语言的完全初学者，虽然我之前学过 Prolog。水星的新方面之一是去毛病。main函数必须是确定性的。为了做到这一点，我必须检查一个变量是否统一/绑定到一个值，但我找不到如何做到这一点。特别看代码：
这样main不会失败，即（我猜）它会满足确定性约束。所以问题是如何检查变量是否被绑定。
mercury - 需要安装 Mercury 编译器
需要安装Mercury编译器，没有找到mercury网站上分享的链接。您能否分享下载水星编译器的链接。
mercury - windows下如何编译运行mercury程序
我能够从http://dl.mercurylang.org/index.html下载并解压缩水星文件。但是，我不知道如何编译和运行其中一个程序。
我用谷歌搜索找到命令'$ mmccalculator.m'来运行水银文件，但我遇到了错误。
-bash：/cygdrive/c/WINDOWS/system32/mmc：权限被拒绝
我在 cygwin 中运行命令。