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.
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
Can be used to backtrack through all the matching terms recorded under the specified key.
Ref is not a database reference