abolish/1
Deletes the predicate specified by the given functor, for all arities
abolish(Functor) -(i)
+Functor <functor>
Compatibility: LPA Win-Prolog.
Remarks:
This predicate removes all trace of the single predicate, Functor/Any_Arity, freeing up memory resources for other programs; if the specified program does not exist, it simply succeeds.