|
|
|||||||||
制約変数の現在の制約を復帰します。
co_get(+Var, -Constraint)
co_get(+Var、-Constraint）は、制約変数と関連する現在の制約を復帰します。
"Var"が制約変数でないならば、述語は失敗します。
例題
例題は、例題プログラムのセクションを参照します。
規格
この述語は、ISO-Prolog Standardの要件ではありません。
| |||||||||||
| 制約変数の現在の制約を復帰します。
co_get(+Var, -Constraint)co_get(+Var、-Constraint）は、制約変数と関連する現在の制約を復帰します。 "Var"が制約変数でないならば、述語は失敗します。
例題例題は、例題プログラムのセクションを参照します。
規格この述語は、ISO-Prolog Standardの要件ではありません。
以下も参照して下さいco_add/2 co_get/2 co_merge/2 co_check/2 Constraints | |||||||||||