co_add/2 /MINERVA/Manual/Reference/Predicates/Constraints/co

イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 制約処理 > co_add/2

co_add/2

MINERVA

Expert Services on the Web

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

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

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/Constraints/co_add/print_jp.html
published 2008/9/1 update 2002/3/19 (c) 1996-2006 IF Computer Japan

IF Computer	〒113-0022	Tel 03-5814-3352	start (AT) ifcomputer.com
Customer Support	東京都文京区千駄木5-28-2		http://www.ifcomputer.co.jp

戻る>

co_add/2

co_add(+Var, +Constraint)

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

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

以下も参照して下さい

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

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