11.3.186 recorda/3

Synopsis

recorda(+Key, +Term, -Ref)

records the Term in the internal database as the first item for the key Key; a database reference to the newly-recorded term is returned in Ref.

Arguments

Key
atomic, must be nonvar
Term
term
Ref
db_reference

Description

If Key is a compound term, only its principal functor is significant. That is, foo(1) represents the same key as foo(n).

Any uninstantiated variables in the Term will be replaced by new private variables, along with copies of any subgoals blocked on these variables (see ref-sem-sec).

Exceptions

instantiation_error
Key is not instantiated

Examples

See Also

ref-mdb-idb.


Send feedback on this subject.