DEFFACTS-MODULE
DEFFACTS-MODULE
Returns the module in which the specified deffacts is defined.
(deffacts-module <deffacts-name>)