terms:foldsubterms/4

foldsubterms(:Goal3, +Term1, +State0, -State) is semidet
foldsubterms(:Goal4, +Term1, ?Term2, +State0, -State) is semidet: The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1. If this call fails, StateIn and StateOut are the same. This predicate may be used to map subterms in a term while collecting state about the mapped subterms. The foldsubterms/4 variant does not map the term.