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)
[semidet]
variant
(
@Term1, @Term2
)
Same as SWI-Prolog
Term1 =@= Term2
.
[semidet]variant(@Term1,
@Term2)