11.3.187 recorded/3

Synopsis

recorded(-Key, -Term, +Ref)

recorded(?Key, ?Term, ?Ref)

Searches the internal database for a term recorded under the key Key that unifies with Term, and whose database reference unifies with Ref.

Arguments

Key
atomic
Term
term
Ref
db_reference

Description

If Ref is instantiated, then Key and Term are unified with the key and term associated with Ref. Otherwise, If Key is a compound term, only its principal functor is significant. That is, foo(1) represents the same key as foo(n).

Backtracking

Can be used to backtrack through all the matching terms recorded under the specified key.

Exceptions

type_error
Ref is not a database reference

Examples

See Also

ref-mdb-idb.


Send feedback on this subject.