A symbol which names a rule.
Removes the rule named
and any unfired instantiations of that rule.
arguments are provided so that "un" may be prepended to a rule definition in an editor buffer and evaluated to remove the rule.
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011