co_add/2

制約を変数または制約変数に加えます。

co_add(+Var, +Constraint)

"Var"が変数であるならば、それは制約変数になります。

"Var"が制約変数であるならば、制約は追加の制約としてマークされます、そして、ユーザー定義述語co_merge(+Var,[NewConstraint,OldConstraint])は起動されます。

"Var"が変数でないならば、ユーザー定義述語co_check(+Var, NewConstraint)は起動されます。

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

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

以下も参照して下さい