| ヘッドが引数で単一化可能なすべての節をデータベースから除く。
retractall(+ヘッド)
retractall/1 は、ヘッドがヘッドで単一化可能なすべての節をデータベースから除く。
retractall/1 は以下のように定義されている。:
retractall(Head) :- retract((Head :- _)), fail.
retractall(_).
引数
ヘッド 節のヘッド
例
データベースは、以下の節を含んでいるとする。
colour(blue).
colour(yellow).
colour(blue,yellow,green).
add(X,Y,Z) :- Z is X+Y.
f(a).
f(a) :- b.
| retractall(colour(X)).
| 成功. データベースは以下の節を含んでいる。
colour(blue,yellow,green).
add(X,Y,Z) :- Z is X+Y.
f(a).
f(b) :- b.
|
標準
この述語はISO-Prolog 標準に含まれる。
関連
asserta/1,
assertz/1,
abolish/1,
collect/3,
load/1,
unload/1,
loaded/1/2,
retract/1.
|
