Sim*_*gen 1 prolog signature eclipse-clp
上一个问题给出了Prolog实例化模式的完整列表:Prolog谓词参数中实例化模式指示符的含义.
但是,我无法在ECLiPSe Prolog中找到有关双加(++)实例化模式的任何参考或解释.使用'++'模式的ECLiPSe文档中的示例谓词是setval(++,？).
有谁知道这种模式的含义是什么？
mig*_*ilg 6
此模式在http://eclipseclp.org/doc/bips/kernel/compiler/mode-1.html中描述为具有以下含义:++参数为ground.
归档时间：
10 年，6 月 前
查看次数：
307 次
最近记录：