prolog - ECLiPSe Prolog中的双加（++）实例化模式是什么意思？

Question

Prolog 实例化模式的完整列表在前面的问题中给出：Prolog 谓词参数中的实例化模式指示符的含义。

但是，我无法在 ECLiPSe Prolog 中找到有关双加 (++) 实例化模式的任何参考或解释。ECLiPSe 文档中使用 '++' 模式的示例谓词是setval(++,?)。

有谁知道这个模式是什么意思？

Answer 1

这种模式在http://eclipseclp.org/doc/bips/kernel/compiler/mode-1.html中被描述为具有以下含义：++ 参数是接地的。