Clause creation and destruction

abolish/1

removes all clauses identified by its predicate indicator. ...

asserta/1

adds a new clause as first clause of a predicate to the database. ...

assertz/1

adds a new clause as last clause of a predicate to the database. ...

collect/3

collects all clauses of dynamic tuples....

load/1

loads a file into MINERVA....

unload/1

unloads a file from MINERVA....

loaded/1/2

Gives candidates for unload/1 ....

retract/1

retracts from the database the clauses which are unifiable with the argument. ...

retractall/1

deletes from the database all clauses which head is unifiable with the argument. ...