term_subsumer/4¶

term_subsumer(? T1, ? T2, ? Subsumer)*

Succeed if Subsumer unifies with the least general generalization over T1 and T2.