asserta(C)

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