11.3.188 recorded/3

Synopsis

recorded(-Key, -Term, +Ref)

recorded(?Key, ?Term, ?Ref)

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

Arguments

Key

term

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, then 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.