11.3.189 recordz/3

Synopsis

recordz(+Key, +Term, -Ref)

records the Term in the internal database as the last item for the principal functor of Key; a database reference to the newly-recorded term is returned in Ref.

Arguments

Key

term, must be nonvar

Term

term

Ref

db_reference, must be var

Description

If Key is a compound term, then 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 brand new, unattributed variables (see ref-sem-sec).

Exceptions

instantiation_error

Key is not instantiated

uninstantiation_error

Ref is not a variable

Examples

See Also

ref-mdb-idb.