Add a constraint to a variable or constraint variable.

co_add(+Var, +Constraint)

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

Standard

See also

scroll to top