Did you know ... Search Documentation:
Predicate def_environment/2
 def_environment(-Name, -Value) is nondet[private]
True if Name=Value must appear in the environment for building foreign extensions.