|
|
|||||||||
removes all clauses identified by its predicate indicator.
abolish(+Predicate)
abolish/1 removes all clauses identified by Predicate from the database as if they had never existed.
Arguments
Predicate compound term with form: atom/integer
Examples
There exists a database with clauses: colour(blue). colour(yellow). colour(blue, yellow, green). add(X,Y,Z) :- Z is X+Y.
| abolish(colour/1). | Succeeds, leaving the database with the clauses colour(blue,yellow, green). add(X,Y,Z) :- Z is X+Y. |
| abolish(something/4). | Succeeds, leaving the database unchanged. |
Standard
This predicate is part of the ISO-Prolog Standard.
See also
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_de.html published 2008/11/17 update 2003/2/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
