|
|
|||||||||
述語記号で同定されるすべての節を削除する。
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_creat_destruct/abolish/print_jp.html published 2008/10/6 update 2003/2/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
