如何阅读Prolog文档？参数标记及符号含义查询方法

嘿，关于你问的bagof(+Template, :Goal, -Bag)里的参数和标点符号，我给你理清楚：

参数的性质 #

Template、Goal、Bag可不是随便起的名称，它们是Prolog标准和实现文档里定义的正式角色/类型标识，每个都有明确的语义：

• Template：是用来定义结果收集模式的项（term），可以是变量、原子或者复合结构。比如你想收集某个变量X的所有实例，就把Template设为X；要是想收集parent(X,Y)这样的复合项，也直接写这个结构就行。
• Goal：是需要执行的可调用目标（callable term），也就是你要查询的谓词。这里的:是模块限定符，说明Goal可以带上模块前缀（比如lists:member(X, [1,2,3])），如果没带就默认用当前模块。
• Bag：是用来接收结果的输出变量，执行完成后会被绑定为所有满足Goal条件的Template实例组成的列表（默认会去重，除非Goal里存在未被量化的自由变量）。

标点符号的含义与查阅方式 #

那些+、:、-是Prolog里的参数模式指示符，用来标注参数的输入输出属性，相关说明在你使用的Prolog实现的内置文档里就能找到：

• +：表示该参数是输入参数，调用谓词时必须已经被绑定（有确定的值），不能是自由变量。
• :：专门用于目标类参数，表明该参数可以是模块限定的谓词，用来跨模块调用谓词，解决不同模块下同名谓词的冲突问题。
• -：表示该参数是输出参数，调用时可以是自由变量，谓词执行完成后会被绑定到计算结果上。

你可以在Prolog REPL里输入help(predicate_properties)或者类似的内置帮助命令，就能看到关于参数模式指示符的详细说明；不同Prolog实现（比如SWI-Prolog、GNU Prolog）的内置文档里也会专门有章节讲解这些符号的规范。

内容的提问来源于stack exchange，提问作者Jeffrey Benjamin Brown