abolish(Pred) is true. It has for side effect the removal of all the clauses whose predicate indicator is Pred.