The destroy-unclassified-concepts function destroys all concepts that are currently unclassified.
The destroy-unclassified-concepts function takes no arguments.
The destroy-unclassified-concepts function returns a list of the names of the concepts that were destroyed.
All dependents -- that is, all concepts whose definitions directly or indirectly reference the unclassified concepts -- are recursively deleted.
This function is often employed to delete concepts created ``by accident'', e.g., when a concept reference within a definition is misspelled.
(defconcept A :is-primitive B :implies C)
(destroy-unclassified-concepts) ==> (A B C)
Last modified: Jun 1 1995