小编Sim*_*gen的帖子

上一个问题给出了Prolog实例化模式的完整列表:Prolog谓词参数中实例化模式指示符的含义.

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

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