undefrule rule-name &rest ignore
A symbol which names a rule.
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 (Macintosh version) - 24 Mar 2017