assertz/1

Adds a clause at the end of a predicate's clause-set

assertz(Clause) -(i)

Compatibility: LPA Win-Prolog, Swindon Prolog, all other Prologs.

Remarks:

1) This predicate adds a Clause to the current program. If other clauses already exist with the same head, the new clause is added in the end of the existing set of clauses.

2) "assertz/1" is operationally identical to "assert/1": Both of them insert a new clause in the internal database after any other stored clauses for the corresponding predicate.

See also:

assert/1

asserta/1