Mercury 中不受限制的变量名称声明
我想在 Mercury 中声明一种数据类型，它可以具有可变数量的值和名称。例如： type goal ---> pick; give; come. 具有三个变量/值。 我想要这样的东西…
Mercury：决定论和模式匹配
我有一个半确定性函数。当我重写它以使用模式匹配而不是 if 语句时，Mercury 说它变得不确定。我想了解为什么。 原始代码： :- pred nth(list(T), int…
Mercury：如何声明高阶数据类型的确定性？
当我编译下面的 Mercury 代码时，我从编译器中收到此错误： In clause for `main(di, uo)': in argument 1 of call to predicate `test_with_anonymou…
“：=”和“==”在水星
我最近在 Mercury 中看到了这个代码示例： append(X,Y,Z) :- X == [], Z := Y. append(X,Y,Z) :- X => [H | T], append(T,Y,NT), Z <= [H | NT]. 作为…
怎样实现在局域网利用Mercury互相发送邮件。
Mercury是一个邮件服务器，Xampp附带的，但是今天我想利用它在局域网内互相发送邮件却不可以。我尝试利用它给发送到Gmail，但是半个小时了没有收到。…
- 共 1 页
- 1
