It would be desirable to support comparisons in rule heads such as in the following rule:
C1 = C2 :- color(V, C1), color(V, C2).
No dependencies set.
The note is not visible to the blocked user.
It would be desirable to support comparisons in rule heads such as in the following rule: