| 述語記号で同定されるすべての節を削除する。
abolish(+述語)
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 標準.
関連
asserta/1,
assertz/1,
collect/3,
load/1,
unload/1,
loaded/1/2,
retract/1,
retractall/1.
|
