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)
sub_var
(
-Sub, +Term
)
Generates (on backtracking) all subterms (
==
) of
Term
.
sub_var(-Sub,
+Term)Generates (on backtracking) all subterms (