首页
标签
mercury
如何像在 Prolog 中那样在 Mercury 中生成新变量列表？
Mercury "undefined reference" 使用本地模块时出现编译错误
什么是 "strongly moded" 编程语言？
Mercury 不在其中
Mercury约束求解
如何在 Mercury 中指定编译时间定义？
Mercury 列表统一
Mercury 是否支持代数谓词？
如何检查变量是否在 Mercury 中实例化
需要 mercury 中的记录语法示例