A predicate name can be deleted using a #unassert preprocessing
directive.
Syntax
#unassert name
#unassertname[(token-sequence)]
Where:
nameis a predicate name
token-sequenceis an optional sequence of tokens.
If the token sequence is omitted, all definitions of
nameIf the token sequence is included, only the indicated definition is removed. All other definitions are left intact.
PDF version