引数で単一化可能な節をデータベースから除く。

retract(+節)

retract/1 は、節 で単一化可能な最初の節をデータベースから除く。 もし、節 が、その主要関数子が、':-' と違う、アトム または 複合項ならば、節 がヘッドで、'true' が 新しい節の本体である。
もし、節 が、その主要関数子が、':-'/2 である複合項ならば、 ':-'の左側(第1引数) はヘッドで、右側 (第2引数) は、新しい節の本体である。 バックトラックによって、データベースから節で単一化可能な、すべての節を除くことが可能である。

引数

節              アトム または複合項

例

データベースは、以下の節を含んでいるとする。
      colour(blue).
      colour(yellow).
      colour(blue,yellow,green).
      add(X,Y,Z) :- Z is X+Y.
      f(a).
      f(a) :- b.

標準

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

関連