11.3.59 db_reference/1

Synopsis

db_reference(+Term)   since release 4.1

Term is currently instantiated to a compound term with principal functor '$ref'/2 denoting a unique reference to a dynamic clause.

Arguments

Term

term

Examples

     | ?- db_reference(9).
     
     no
     
     | ?- db_reference(_X).
     
     no
     
     | ?- assertz(foo(a), R), db_reference(R).
     
     R = '$ref'(1816730,128)

Exceptions

None.

See Also

ref-lte-met-typ.