free_of_var/2

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(occurs): Finding and counting sub-terms
- Packages

Availability::- use_module(library(occurs)).(can be autoloaded)

Source

[semidet]free_of_var(+Sub, +Term)

Succeeds of Sub is not equal (==) to any subterm of Term