A.29 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)
[semidet]
contains_var
(
+Sub, +Term
)
Succeeds if
Sub
is contained in
Term
(==, deterministically)
[semidet]contains_var(+Sub,
+Term)Succeeds if Sub is contained in Term (==,
deterministically)