ヘッドが引数で単一化可能なすべての節をデータベースから除く。

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.

標準

この述語はISO-Prolog 標準に含まれる。

関連

冒頭へ