[nondet]bdb_get(+DB,
?Key, -Value)Query the database. If the database allows for duplicates this predicate
is non-deterministic, otherwise it is semidet. Note that if Key
is a term this matches stored keys that are
variants of Key, not unification. See =@=/2.
Thus, after
bdb_put(DB, f(X), 42), we get the following query results:
bdb_get(DB, f(Y), V) binds Value to 42,
while Y is left unbound.bdb_get(DB, f(a), V) fails.bdb_enum(DB, f(a), V) succeeds, but does not perform
any indexing, i.e., it enumerates all key-value pairs and performs the
unification.