ECLiPSe Prolog中双加(++)实例化模式是什么意思?

What is the meaning of the double plus (++) instantiation mode in ECLiPSe Prolog?

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

但是,我没能在 ECLiPSe Prolog 中找到任何关于双加 (++) 实例化模式的参考或解释。 ECLiPSe 文档中使用“++”模式的示例谓词是 setval(++,?).

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

此模式在http://eclipseclp.org/doc/bips/kernel/compiler/mode-1.html中描述为具有以下含义:++参数为ground。