Adds a compiled clause to the database. The clause will be added at the end of all existing clauses in the database.
If a predicate is multifile (compiled, interpreted-static or dynamic)
multifile_assertz/1 can be used to add a clause, Clause,
to the end of the predicate.
In a runtime system (see sap-srs), it is
an error to
compiled clause because the compiler is not available.
If predicate is undefined at the time of the
it is set to be compiled (in the
Development System) or dynamic (in a Runtime System).
In either case the predicate is also set to be multifile.
[Note that in runtime systems
) actually loads the file as
Except for the case of a multifile dynamic predicate, the effect of
multifile_assertz if used on a predicate that is currently
running will not be well-defined. The new clause may or may not be
seen on backtracking. If you want the proper semantics, use