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

either of:

• KeyTerm, if KeyTerm is an atom or an integer; or
• the principal functor of KeyTerm, if KeyTerm is a compound term.

KeyTerm nonvar

is an integer, atom, or compound term, which is the key for a currently recorded term.

Description

If KeyName is not an atom, an integer, or an unbound variable, current_key/2 fails. If KeyTerm is not a current key, current_key/2 simply fails.

See Also

recorda/3, recorded/3, recordz/3,