asserta(Clause) is true. It has for side effect the addition of the clause Clause to the database, placing it before any other facts or rules with the same functor.