| Check if instantiation is allowed
co_check(+Term, +Constraint)
The user defined predicate co_check/2 is invoked when a
constraint variable is instantiated, i.e. bound to a term which
is not a variable.
co_check/2 must only succeed if this binding is allowed under
the given Constraint "Constraint".
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
|
