ECLiPSe Prolog中双加（++）实例化模式的含义是什么？

Question

在上一个问题中给出了Prolog实例化模式的完整列表：Meaning of instantiation mode indicators in arguments of Prolog predicates。

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

有谁知道这种模式的含义是什么？

Answer 1

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