SWI-Prolog Did You Know Did you know? SWI-Prolog runs on Android Termux Search Documentation:
Predicate occurrences_of_var/3
Availability::- use_module(library(occurs)).(can be autoloaded)
Source[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.
Tags are associated to your profile if you are logged in
Tags: