我了解约束编程上下文中的通道约束。另外，我可以看到一些在EclipseCLP here中实现通道约束的示例。作为EclipseCLP中的一个示例，假设从两个不同的观点A和B来看有两个变量V1和V2，因此该变量的值I A中的V1等效于J中变量B的值V2。我们将在ECLiPSeCLP中（以序言语言）编写此通道约束(A #= I) #= (B #= J)。
现在的问题是，如何在swi-prolog的CHR上下文中或在CHR语言的ECliPSe中实现它？ （我从library(chr)开始使用。）