Anonymous variables in unification
Anonymous variables during the unification process should be considered different even using the non-strict identity matcher.
They should always be considered different from each other unless they are the same instance.
Edited by Enrico Siboni