|
|
asserta
Entity: predicate
Usage:
assert(Clause)
asserta(Clause)
Appends a clause to the run-time database. (asserta appends in the beginning)
| Clause | the clause to append. |
Fails if Clause is not a clause.
Example:
?- assert(test(1,2)), test(X,Y), write(X), write(" "), write(Y), nl.
See also:
