Did you know ... Search Documentation:
Pack subsumes -- prolog/subsumes.pl
PublicShow source
 subsumes(?General, ?Specific) is semidet
subsumes/2 maintains the relation that one term subsumes another, according to standard unification of terms.

See the unit tests for examples.

 subsumes_chk(+General, +Specific) is semidet
Holds if General necessarily subsumes Specific. This predicate fails to be relational when subsumption is induced after it fails:
?- \+ subsumes_chk(G, S), G subsumes S, subsumes_chk(G, S).
G subsumes S.