|
|
|||||||||
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| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/Constraints/co_check/print_de.html published 2008/11/17 update 2002/3/19 (c) 1996-2006 IF Computer Japan | ||||||||
|
