prolog - 手工含义

Question

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

union(+Set1, +Set2, -Set3)

+和 - 意味着什么？

Answer 1

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

• '+'表示在调用该谓词时应该实例化该参数。
• ' - '表示从谓词
返回时参数返回实例化

对于union谓词，你应该在Set1和Set2实例化的情况下调用它，并且在返回时Set3将被实例化。