abolish/1 /MINERVA/Manual/Reference/Predicates/clause_creat

abolish/1

removes all clauses identified by its predicate indicator.

abolish/1 removes all clauses identified by Predicate from the database as if they had never existed.

Predicate              compound term with form: atom/integer

There exists a database with clauses:
   colour(blue).
   colour(yellow).
   colour(blue, yellow, green).
   add(X,Y,Z) :- Z is X+Y.

abolish(colour/1).	Succeeds, leaving the database with the clauses colour(blue,yellow, green). add(X,Y,Z) :- Z is X+Y.
abolish(something/4).	Succeeds, leaving the database unchanged.

This predicate is part of the ISO-Prolog Standard.