destroy-unclassified-concepts [Function]

Purpose

The destroy-unclassified-concepts function destroys all concepts that are currently unclassified.

destroy-unclassified-concepts

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)