[eclipse-clp-users] Propagation question for IC

[Panagiotis S. <ta...@di...>]

Hello All,

I hope you are healthy and safe. May I ask a (maybe trivial) question
in the context of the IC library? Why the query

?- X #:: [1, 3], B #= (X #= 2).
X = X{[1, 3]}
B = B{[0, 1]}
There is 1 delayed goal.

does not enforce Β to be equal to 0?

Best Regards,
Takis