述語記号で同定されるすべての節を削除する。
abolish/1 は、まるで存在しなかったかのように、データベースから述語 で同定されるすべての節を削除する。
述語 アトム/整数 で作られる複合項
以下の節をもつデータベースがある。 colour(blue). colour(yellow). colour(blue, yellow, green). add(X,Y,Z) :- Z is X+Y.
| abolish(colour/1). | 成功, 以下のをもつデータベースがのこる。 colour(blue,yellow, green). add(X,Y,Z) :- Z is X+Y. |
| abolish(something/4). | 成功, データベースは変わらない。 |
この述語 is part of the ISO-Prolog 標準.