A.57 library(terms): Term manipulation
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(terms): Term manipulation
term_size/2
variant/2
subsumes_chk/2
subsumes/2
term_subsumer/3
term_factorized/3
mapargs/3
mapsubterms/3
mapsubterms_var/3
foldsubterms/4
foldsubterms/5
same_functor/2
same_functor/3
same_functor/4
Packages
Availability:
:- use_module(
library(terms)
).
(can be autoloaded)
subsumes_chk
(
@Generic, @Specific
)
True if
Generic
can be made equivalent to
Specific
without changing
Specific
.
deprecated
Replace by
subsumes_term/2
.
subsumes_chk(@Generic,
@Specific)True if Generic can be made equivalent to Specific
without changing Specific.