SWI-Prolog Did You Know Did you know? Janus provides a rich and fast bi-directional interface to Python Search Documentation:
Predicate occurrences_of_term/3
 occurrences_of_term(@SubTerm, @Term, ?Count) is det
Count the number of SubTerms in Term that unify with SubTerm. As this predicate is implemented using backtracking, SubTerm and Term are not further instantiated. Possible constraints are enforced. For example, we can count the integers in Term using 
?- freeze(S, integer(S)), occurrences_of_term(S, f(1,2,a), C).
C = 2,
freeze(S, integer(S)).
See also
- occurrences_of_var/3 for an equality (==/2) based variant.
Tags are associated to your profile if you are logged in
Tags: