variant/3¶

variant(? Term1, ? Term2)*

Succeed if Term1 and Term2 are variant terms.