|
|
|||||||||
ヘッドが引数で単一化可能なすべての節をデータベースから除く。
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_creat_destruct/retractall/print_jp.html published 2008/10/13 update 2003/2/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
