A.28 library(occurs): Finding and counting sub-terms
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(occurs): Finding and counting sub-terms
contains_term/2
contains_var/2
free_of_term/2
free_of_var/2
occurrences_of_term/3
occurrences_of_var/3
sub_term/2
sub_var/2
sub_term_shared_variables/3
Packages
Availability:
:- use_module(
library(occurs)
).
(can be autoloaded)
occurrences_of_var
(
+SubTerm, +Term, ?Count
)
Count
the number of SubTerms in
Term
occurrences_of_var(+SubTerm,
+Term, ?Count)