値を与えることが許されているかどうか、チェックします

co_check(+Term, +Constraint)

制約変数が値を与えられているとき、すなわち、変数でない項に結合される時に、ユーザー定義述語co_check/2は起動されます。

この結合が与えられた制約"Constraint"の下で許される場合のみ、co_check/2は成功しなければならなりません。

例題 例題は、例題プログラムのセクションを参照します。

規格 この述語は、ISO-Prolog Standardの要件ではありません。

以下も参照して下さい

戻る 続く..