| 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
|
