A.46 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 V3.1.1-40-g9d9e003)