abolish

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

Throws