Add missing definition of the standard `subsumes_term/2` predicate to the Quintus Prolog adapter file