[nondet]bdb_environment_property(?Environment,
?Property)- home(-Path)
- Path is the absolute path name for the directory used as database environment.
- open(-Boolean)
- True if the environment is open.
[nondet]bdb_environment_property(?Environment,
?Property)