assert/1
Adds a clause at the end of a predicate's clause-set
assert(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) "assert/1" is operationally identical to "assertz/1": Both of them insert a new clause in the internal database after any other stored clauses for the corresponding predicate.
See also: