prolog -手册含义

Question

我已经阅读了swi-prolog的手册：

union(+Set1, +Set2, -Set3)

+和-是什么意思？

Answer 1

它们指示每个参数是应该在输入时实例化还是在从该谓词返回时实例化。

实例化

• ‘+’表示调用该谓词时应实例化参数。实例化

• ‘-’表示参数从谓词

返回时返回实例化

对于联合谓词，应该在实例化Set1和Set2的情况下调用它，并在返回时实例化Set3。