| removes all clauses identified by its predicate indicator.
abolish(+Predicate)
abolish/1 removes all clauses identified by Predicate from
the database as if they had never existed.
Arguments
Predicate compound term with form: atom/integer
Examples
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. |
Standard
This predicate is part of the ISO-Prolog Standard.
See also
asserta/1,
assertz/1,
collect/3,
load/1,
unload/1,
loaded/1/2,
retract/1,
retractall/1.
|
