@ais523 It does, it imposes a constraint on the variables just like =, >, etc. (under the hood it uses the dif/2 Prolog predicate)

@ais523 Great thanks. I'll try to pull those in the coming days