[ Recorded Database | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
current_record(?Key)
Succeeds if Key is the key of a recorded item.
- ?Key
- Variable, atom or compound term.
Description
Used to backtrack over the keys currently recorded in the indexed
database. 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.
Fail Conditions
Fails if Key cannot be unified with a current key.
Resatisfiable
Yes. Backtracks over the currently recorded keys.
Exceptions
- (5) type error
- Key is neither a variable, an atom nor a compound term.
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