prolog - 如何阅读 Prolog 文档？

Question

例如，如果我输入 help(bagof).进入 Prolog REPL，会弹出一个窗口，其中包含一些文档，其中第一行显示为 bagof(+Template, :Goal, -Bag) .

参数模板、目标和袋子只是名称，还是可以系统研究的形式类型？ (在第一种情况下，我必须依靠 bagof 的文档来理解它们；在后一种情况下，我可以引用其他一些文档。)

我在哪里可以找到论点之前的那些标点符号的文档？ (在这种情况下，标点符号包括符号 + 、 : 和 - ，但我见过其他的。)

Answer 1

Template , Goal等只是这些参数的名称。有时，它们会给出一些关于相应参数的预期类型的​​指示。例如，Goal通常表示 callable 类型的参数.像 List 这样的名称通常表示一个列表，等等。
+ , :等是模式指示符，表示预期的实例化模式:

引自 http://eu.swi-prolog.org/pldoc/man?section=modes :

++ 参数在调用时为基础，即参数在任何地方都不包含变量。
+ 参数在调用时完全实例化为满足类型的术语。等等
- 参数是一个输出参数。等等
-- 参数在调用时不受约束。等等
?参数在调用时绑定(bind)到指定类型的部分术语。等等
: 参数是元参数。表示+。
等等

最常用的模式指标是+ , -和 ? .

另请注意，在文献和某些系统的文档中也使用了用于记录谓词的此类属性的不同约定和细微变化。