|
|
|||||||||
制約を単一化します
co_merge(+Var, +ConstraintList)
制約変数が単一化されるとき、それらの付随する制約も単一化されなければなりません。 これは、co_merge/2のジョブです。
個々の制約のリストは新しい制約に結合されなければなりません。そして、新しい制約はそれからco_add/2で再び制約変数と関連することができます。
個々の制約が矛盾を引き起こすならば、述語は失敗します。
co_merge/2が起動される前に、関連する制約変数は普通の変数に変えられます。
co_add/2の以下の呼び出しの後でのみ、そして、もちろんバックトラックの場合だけでのみそれは、再び制約変数になります。
例題
例題は、例題プログラムのセクションを参照します。
規格
この述語は、ISO-Prolog Standardの要件ではありません。