[ISO]subsumes_term(@Generic, @Specific)True if Generic can be made equivalent to Specific
by only binding variables in Generic. The current
implementation performs the unification and ensures that the variable
set of Specific is not changed by the unification. On
success, the bindings are undone.43This
predicate is often named subsumes_chk/2
in older Prolog dialects. The current name was established in the ISO
WG17 meeting in Edinburgh (2010). The chk postfix was
considered to refer to determinism as in e.g., memberchk/2.
This predicate respects constraints.