Prolog のインスタンス化モードの包括的なリストは、前の質問の Prolog predicate の引数でのインスタンス化モード インジケーターの意味 に記載されています。
しかし、ECLiPSe Prolog のダブル プラス (++) インスタンス化モードに関する参照や説明を見つけることができませんでした。「++」モードを使用する ECLiPSe ドキュメントの述語の例は、setval(++,?)です。
このモードの意味を知っている人はいますか？
1 に答える
6
このモードはhttp://eclipseclp.org/doc/bips/kernel/compiler/mode-1.htmlに次の意味があると説明されています: ++ 引数はグラウンドです。
于 2015-04-14T16:01:30.267 に答える