co_add/2
制約を変数または制約変数に加えます。
co_add(+Var, +Constraint)
制約を変数または制約変数に加えます。
"Constraint"は、変数以外のいかなる項でもはありえます。
"Var"が変数であるならば、それは制約変数になります。
"Var"が制約変数であるならば、制約は追加の制約としてマークされます、そして、ユーザー定義述語co_merge(+Var,[NewConstraint,OldConstraint])は起動されます。
"Var"が変数でないならば、ユーザー定義述語co_check(+Var, NewConstraint)は起動されます。
例題
例題は、例題プログラムのセクションを参照します。
規格
この述語は、ISO-Prolog Standardの要件ではありません。
以下も参照して下さい
co_add/2 co_get/2 co_merge/2 co_check/2 Constraints