The following functions provide ancillary capabilities for the deffacts construct.
GET-DEFFACTS-LIST
DEFFACTS-MODULE