モード宣言

機能的な詳細は、機能編:モード宣言を 参照して下さい。

Predication

述語項

頭部がPの形の述語の引数について、引数のモードを宣言します。モードは、 Pの引数のところにモード記号として次のように指定します。

-

引数は必ず変数。

?

引数は任意。

+または#

引数は具体値を持つ。

'#'(モード記号、…)

複合項の名前と引数を探索に使用する。

?はその引き数の性質がわからないことを指定します。 モード宣言は、インタプリタおよびコンパイラの最適化処理の使用されます。

エラー

instantiation_error

type_error