A.53 library(terms): Term manipulation
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(terms)).(can be autoloaded)
Sourcesubsumes_chk(@Generic, @Specific)
True if Generic can be made equivalent to Specific without changing Specific.
deprecated
Replace by subsumes_term/2.
ClioPatria (version no GIT?)