Displays the names of all definstances stored in the CLIPS environment. This function has no return value.
Syntax
(list-definstances)