Availability:built-in
asserta(+Term,
-Reference)
assertz(+Term,
-Reference)
[deprecated]assert(+Term,
-Reference)Equivalent to asserta/1, assertz/1, assert/1,
but in addition unifies
Reference with a handle to the asserted clauses. The handle
can be used to access this clause with clause/3
and erase/1.