| 値を与えることが許されているかどうか、チェックします
co_check(+Term, +Constraint)
制約変数が値を与えられているとき、すなわち、変数でない項に結合される時に、ユーザー定義述語co_check/2は起動されます。
この結合が与えられた制約"Constraint"の下で許される場合のみ、co_check/2は成功しなければならなりません。
例題
例題は、例題プログラムのセクションを参照します。
規格
この述語は、ISO-Prolog Standardの要件ではありません。
以下も参照して下さい
co_add/2 co_get/2 co_merge/2 co_check/2 Constraints |