11.3.51 current_key/2

Synopsis

current_key(?KeyName, ?KeyTerm)

Succeeds when KeyName is the name of KeyTerm, and KeyTerm is a recorded key.

Arguments

KeyName

atomic

One of:

• KeyTerm, if KeyTerm is atomic; or
• the principal functor of KeyTerm, if KeyTerm is a compound term.

KeyTerm

term

The most general form of the key for a currently recorded term.

Description

This predicate can be used to enumerate in undefined order all keys for currently recorded terms through backtracking.

Backtracking

Enumerates all keys through backtracking.

Exceptions

None.

See Also

ref-mdb-idb.