Expert Systems in Prolog

assert(Term)

Add fact or clause to database.

retract(Term)

Remove all facts or clauses in the database that unify with Term.