abolish/2

Deletes the predicate specified by the given functor and arity

abolish(Functor,Arity) -(i,i)

+Functor <functor>

+Arity <arity>

Compatibility: LPA Win-Prolog.

This removes all trace of the single predicate, Functor/Arity, freeing up memory resources for other programs; if the specified program does not exist, it simply succeeds.

See also: abolish/1, retract/1.