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.