abolish

abstract override fun abolish(indicator: Indicator): MutableTheory

Removes from this theory all the clauses whose head has the given indicator as functor/arity, mirroring ISO Prolog's abolish/1.