Returns the current constraint of a constraint variable.
co_get(+Var, -Constraint)
co_get(+Var, -Constraint) returns the current constraint associated with
a constraint variable.
If "Var" is not a constraint variable, then the predicate fails.
Examples
For examples please refer to the section ExamplePrograms.
Standard
This predicate is not part of the ISO-Prolog Standard.
