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