Internal Indexed Database Built-ins

The following built-ins modify the internal indexed (recorded) database:

ECLiPSe Recorded Database built-in.

abolish_record(+Key)

Remove the local record Key and all its recorded values.  

current_record(?Key)

Succeeds if Key is the key of a recorded item.  

erase(+DBRef)

Succeeds if the database reference DBRef designates a term recorded in the indexed database and this term is successfully erased.  

erase(+Key, ?Value)

Succeeds if the term Value associated with key Key is removed as an entry in the indexed database.  

erase_all(+Key)

All the the values associated with key Key are removed from the indexed database.  

is_record(+Key)

Succeeds if Key is a key of a recorded item.  

local_record(+Key)

Declare the record with key Key to be local to the caller module  

record(+Key, ?Value)

Records the term Value at the end of key Key in the indexed database.  

recorda(+Key, ?Value)

Records the term Value at the beginning of key Key in the indexed database.  

recorda(+Key, ?Value, -DBRef)

Records the term Value at the beginning of key Key in the indexed database.  

recorded(+Key, ?Value)

Succeeds if the term Value has been recorded in the indexed database under the key Key.  

recorded(+Key, ?Value, -DBRef)

Succeeds if the term Value has been recorded in the indexed database under the key Key and DBRef is its unique reference.  

recorded_list(+Key, ?List)

Succeeds if the List is the list of all terms that are currently recorded in the indexed database under the key Key.  

recordz(+Key, ?Value)

Records the term Value at the end of key Key in the indexed database.  

recordz(+Key, ?Value, -DBRef)

Records the term Value at the end of key Key in the indexed database.  

referenced_record(+DBRef, ?Value)

Succeeds if DBRef is the database reference of a currently recorded term and this term unifies with Value  

rerecord(+Key, ?Value)

Erases all entries recorded under the key Key and replaces them with the given value Value.