|Did you know ...||Search Documentation:|
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.