11.3.58 db_reference/1

Synopsis

db_reference(+Term)

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)

See Also

ref-lte-met-typ.