|
|
|||||||||
Add a constraint to a variable or constraint variable.
co_add(+Var, +Constraint)
Add a constraint to a variable or constraint variable. "Constraint" can be any term but not a variable.If "Var" is a variable, then it becomes a constraint variable.
If "Var" is a constraintvariable, then the constraint becomes marked as additional constraint and the user defined predicate co_merge(+Var,[NewConstraint,OldConstraint]) is invoked.
If "Var" is not a variable, then the user defined predicate co_check(+Var, NewConstraint) is invoked.
Examples
For examples please refer to the section ExamplePrograms.
Standard
This predicate is not part of the ISO-Prolog Standard.
See also
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_en.html published 2008/10/13 update 2002/3/19 (c) 1996-2006 IF Computer Japan | ||||||||
|
