情報つき変数

上へ

述語名/引数  (putInfo *v *i )
要約 変数*vに情報*iを付加します。
互換性 Win Unix
解説 *vが情報変数の場合情報を上書きします。
*iには任意のオブジェクトを指定できます。

 


述語名/引数  (getInfo *v *i)
要約 情報つき変数*vから情報*iを取得します。
互換性 Win Unix
解説 情報の取得に失敗するとルールは失敗します。

 


述語名/引数  (rmInfo *v)
要約 情報つき変数から情報を取り除いて通常の変数にします。
互換性 Win Unix
解説 情報つき変数には代入することができないので、rmInfoで通常の変数に戻してから代入を行います。