摘要：这些至少在程序员的世界中是一种容易被混淆的术语。它们的含意经常会被交换。 阅读全文

摘要：我重新开始了从事编写 Mercury 指南书籍的工作。迄今为止我都是把 Parameter（参数）用来表示“出现在子句（或类型定义）头部的变量”，而把 Argument（参量）用来表示“出现在目标（或类型的实例）中的值”。换句话说，Arguments（参量）就是对 Parameters（参数）的具体化。 阅读全文