 [nondet]bdb_environment_property(?Environment, 
?Property)True when Property is a property of Environment. 
Defined properties are all boolean options defined with bdb_init/2 
and the following options:
[nondet]bdb_environment_property(?Environment, 
?Property)True when Property is a property of Environment. 
Defined properties are all boolean options defined with bdb_init/2 
and the following options:
- home(-Path)
- Path is the absolute path name for the directory used as 
database environment.
- open(-Boolean)
- True if the environment is open.