Removes a rule.
kw
undefrule rule-name &rest ignore
rule-name⇩ |
A symbol which names a rule. |
ignore⇩ |
Ignored arguments. |
The macro undefrule
removes the rule named rule-name and any unfired instantiations of that rule.
ignore is not used and is only provided so that "un" may be prepended to a rule definition in an editor buffer and evaluated to remove the rule.
(undefrule my-rule1)
KnowledgeWorks and Prolog User Guide (Unix version) - 01 Dec 2021 19:35:49