co_add/2

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

Up read on...