- occurrences_of_var(@SubTerm, @Term, ?Count) is det
- Count the number of SubTerms in Term that are equal to SubTerm.
Equality is tested using ==/2. Can be used to count the occurrences
of a particular variable in Term.
- See also
- - occurrences_of_term/3 for a unification (=/2) based variant.