
current_record(?Key)

   Succeeds if Key is the key of a recorded item.



Arguments
   Key                 Variable, atom, compound term, or handle.

Type
   Recorded Database

Description

   Used to backtrack over the named record keys that currently have
   recorded terms.  Key must be either a variable, an atom or a compound term.
   In the case of compound terms, all keys of the same name and arity are
   treated as equal.



Modes and Determinism
   current_record(+) is semidet
   current_record(-) is nondet

Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

Fail Conditions
   Fails if Key is not a current key

Exceptions
     5 --- Key is neither a variable, atom, compound term, or record handle.

Examples
   
   Success:
   [eclipse]: record(whiskey,jameson),
   >        record(whiskey,bushmills),
   >        record(beer,lowenbrau),
   >        record(car(bmw), 735).
   yes.
   [eclipse]: current_record(Key).
   Key = beer     More? (;)
   Key = whiskey     More? (;)
   Key = car(_g62)     More? (;)
   no (more) solution.
   Fail:
   record(whiskey,bushmills),current_record(bushmills).
   Error:
   current_record(1).                     (Error 5)
   current_record("whiskey").             (Error 5)


See Also
   is_record / 1
