A Clause Learning Algorithm Combining Immune Mechanism to Invent Predicate