You copied the Doc URL to your clipboard.

#unassert

A predicate name can be deleted using a #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.

See also