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