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