A.46 library(terms): Term manipulation
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(terms)).(can be autoloaded)
Sourcemapargs(:Goal, ?Term1, ?Term2)
Term1 and Term2 have the same functor (name/arity) and for each matching pair of arguments call(Goal, A1, A2) is true.
ClioPatria (version V3.1.1-40-g9d9e003)