|
|
|||||||||
Unify constraints
co_merge(+Var, +ConstraintList)
When constraint variables are unified, then their associated constraints also have to be unified. This is the job of co_merge/2. The list of individual constraints must be combined into a new constraint, which can then be again associated with the constraint variable with co_add/2. If the individual constraints cause a contradiction, then the predicate shall fail.
Before co_merge/2 is invoked, the associated constraint variable is turned into a normal variable. Only after the following invokation of co_add/2 and of course upon backtracking it becomes a constraint variable again.
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_merge/print_en.html published 2008/6/30 update 2002/3/19 (c) 1996-2006 IF Computer Japan | ||||||||
|
