subsumes(+Generic,
@Specific)True if Generic is unified to Specific without
changing
Specific.
- deprecated
- It turns out that calls to this predicate almost always should have used subsumes_term/2.
Also the name is misleading. In case this is really needed, one is
adviced to follow subsumes_term/2
with an explicit unification.