| adds a new clause as last clause of a predicate to the database.
assertz(+Clause)
assertz/1 adds Clause as last clause of the predicate
which has the same functor and arity as Clause to the database.
If no corresponding predicate exists a new predicate is created.
If Clause is an atom or compound term whose principal functor is
different from ':-' then Clause is the head and 'true' is the body
of the new clause.
If Clause is a compound term whose principal functor is
':-'/2 then the left side (1st argument) of ':-' is the head
and the right side (2nd argument) the body of the new clause.
Arguments
Clause atom or compound term
Examples
| assertz(f(a)). |
Succeeds and adds the clause 'f(a) :- true' at the end
of the clause sequence of the predicate f/1. |
| assertz((f(X,Z) :- g(X,Y), h(Y,Z))). |
Succeeds and adds the clause 'f(X,Z) :- g(X,Y), h(Y,Z)'
at the end of the clause sequence of the predicate f/2. |
| assertz(X). |
instantiation_error. |
Standard
This predicate is part of the ISO-Prolog Standard.
See also
asserta/1,
abolish/1,
collect/3,
load/1,
unload/1,
loaded/1/2,
retract/1,
retractall/1.
|
