abolish/2 needed

[UWN]

That is, abolish(PS,[force(true)])

Note that the ISO abolish/1 works only for dynamic code. Static predicates are not permitted. But when doing extensive testing (and it seems there are still issues in the WAM code generation), there is only one way: generate and test and abolish. Certainly, this makes only sense, after the memory management issues of assert/1 are solved.

[infradig]

Note: abolish(Name, Arity) is already a common thing.

[UWN]

Note: abolish(Name, Arity) is already a common thing.

This precludes further extensions. Think of predicate indicators vs non-terminal indicators.