Database manipulation predicates

assert(X)

Add X to the database. For syntactic reasons, if X is not a base clause, use assert((X)).

asserta(X)

Add X to the database in front of other clauses of this predicate.

assertz(X)

Add X to the database after other clauses of this predicate.

retract(X)

Remove X from the database. For syntactic reasons, if X is not a base clause, use retract((X)).

abolish(F,A)

Remove all clauses with functor F and arity A from the database.

clause(X,V)

Find a clause in the database whose head (left hand side) matches X and whose body (right hand side) matches V. To find a base clause, use true for V.

save(F)

Save the entire program state on File F (usu. as a binary image).

restore(F)

Replace the program state with the one on File F.