Availability:built-in
[ISO]asserta(+Term)Assert a fact or clause in the database. Term is asserted as
the first fact or clause of the corresponding predicate. Equivalent to
assert/1,
but Term is asserted as first clause or fact of the
predicate. If the program space for the target module is limited (see set_module/1), asserta/1
can raise a
resource_error(program_space).