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。
上一个问题中给出了 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。