Clears all contexts, rules and objects.
clear-all clears all contexts, rules and objects. The list of KnowledgeWorks classes remains unaffected. The default context
default-context is not removed, but all rules in it are.
The function affects all inferencing states.
KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017