subsumes/3¶

subsumes(? Term1, ? Term2)*

Succeed if Term1 subsumes Term2. Variables in term Term1 are bound so that the two terms become equal.