The function 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.
KnowledgeWorks and Prolog User Guide (Macintosh version) - 24 Mar 2017