assertz(Clause) is true. Same side effect as asserta/1, but placing Clause after all the facts and rules with the same functor.