You copied the Doc URL to your clipboard.

#unassert

You can delete a predicate name using the #unassert preprocessing directive.

Syntax

#unassert name

#unassert name[(token-sequence)]

Where:

name

is a predicate name

token-sequence

is an optional sequence of tokens.

If the token sequence is omitted, all definitions of name are removed.

If the token sequence is included, only the indicated definition is removed. All other definitions are left intact.

Related reference