% This LaTeX document was generated using the LaTeX backend of PlDoc,
% The SWI-Prolog documentation system



\begin{summarylist}{ll}
\predicatesummary{foldsubterms}{4}{The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1.}
\predicatesummary{foldsubterms}{5}{The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1.}
\predicatesummary{mapargs}{3}{Term1 and Term2 have the same functor (name/arity) and for each matching pair of arguments call(Goal, A1, A2) is true.}
\predicatesummary{mapsubterms}{3}{Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds.}
\predicatesummary{mapsubterms_var}{3}{Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds.}
\predicatesummary{same_functor}{2}{True when Term1 and Term2 are terms that have the same functor (Name/Arity).}
\predicatesummary{same_functor}{3}{True when Term1 and Term2 are terms that have the same functor (Name/Arity).}
\predicatesummary{same_functor}{4}{True when Term1 and Term2 are terms that have the same functor (Name/Arity).}
\predicatesummary{subsumes}{2}{True if Generic is unified to Specific without changing Specific.}
\predicatesummary{subsumes_chk}{2}{True if Generic can be made equivalent to Specific without changing Specific.}
\predicatesummary{term_factorized}{3}{Is true when Skeleton is Term where all subterms that appear multiple times are replaced by a variable and Substitution is a list of Var=Value that provides the subterm at the location Var.}
\predicatesummary{term_size}{2}{True if Size is the size in _cells_ occupied by Term on the global (term) stack.}
\predicatesummary{term_subsumer}{3}{General is the most specific term that is a generalisation of Special1 and Special2.}
\predicatesummary{variant}{2}{Same as SWI-Prolog =\Sbar{}Term1 \Sstructeq{} Term2\Sbar{}=.}
\end{summarylist}