abolish(+ヘッド) abolish(+関数子(+項1,...,+項N)) abolish(+関数子,+引数の数_式)
abolish/1,/2は、引数によって示される手続きのすべての節を削除します。abolishでは、「関数子」は値としてアトムが与えられなければなりません。「項」は、述語の先頭の引数とは単一化されません。その名前とアリティを持つすべての節が削除されます（述語の特定の節を削除するにはretractを使って下さい）。abolishは、述語が存在しない場合でも成功します。バックトラックが起きた場合、削除されたものは元に戻りません。
モジュールの中で実装されている述語の操作をしたい場合は、abolish/1を注意して使用して下さい。モジュールの実装で使用されている名前の変更のメカニズムは、述語と同じアリティを持つ関数子のみに働きます。
関連 retract, modify_mode, predicate_type, predicates
?- abolish(reports_to('Smith','Newton')). yes ?- abolish(reports_to,2). yes ?- _
not_modifiable 手続き 「関数子」/「引数の数_式」は、変更不可能 atom_expected 「関数子」がアトムでない illegal_predicate 「ヘッド」が複合項でもアトムでもない integer_expected 「引数の数_式」が整数でない out_of_range 「引数の数_式」が負の数か、あるいは大きすぎる