Documentation Prolog Predicate Reference builtin abolish/1

abolish/1

Remove all the clauses of a predicate.

Description

abolish( @predicate_indicator )

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

Implementation