Displays the names of all deffacts stored in the CLIPS environment.
Syntax
(list-deffacts [<module-name>])
If <module-name> is unspecified, then the names of all deffacts
in the current module are displayed. If <module-name> is
specified, then the names of all deffacts in the specified module
are displayed. If <module-name> is the symbol *, then the
names of all deffacts in all modules are displayed. This function
has no return value.