This function saves all of the facts in the current factlist into the file specified by <file-name>. External-address and fact-address fields are saved as strings. Instance-address fields are converted to instance-names. Optionally, the scope of facts to be saved can be specified. If <save-scope> is the symbol visible, then all facts visible to the current module are saved. If <save-scope> is the symbol local, then only those facts with deftemplates defined in the current module are saved. If <save-scope> is not specified, it defaults to local. If <save-scope> is specified, then one or more deftemplate names may also be specified. In this event, only those facts with associated with a corresponding deftemplate in the specified list will be saved. This function returns TRUE if the fact file was successfully saved, otherwise FALSE is returned.
Syntax
(save-facts <file-name> [<save-scope> <deftemplate-names>*])
<save-scope> ::= visible | local