[det]occurrences_of_var(@SubTerm,
@Term, ?Count)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.