Removes the rule named rule-name and any unfired instantiations of that rule.
The ignore 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