assertz(C)

Like  'assert(C)',  except  that the new clause becomes the last clause for
the procedure concerned.
