recorded/3¶

"recorded(+ K, T, R" )

Searches in the internal database under the key K, a term that unifies with T and whose reference matches R. This built-in may be used in one of two ways:

• K may be given, in this case the built-in will return all elements of the internal data-base that match the key.

• R may be given, if so returning the key and element that match the reference.