prolog-手册含义

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

union(+Set1, +Set2, -Set3)

---

+和-是什么意思？

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

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

---

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

+1。为了完整性，这些被称为模式注释，因为变量的实例化v。未实例化的状态称为其模式（与其类型正交）。