Saves all predicates in Modules in QOF format to File.
save_modules/2 saves the current definitions of all predicates
in a module, or list of modules, in QOF format into a file. The modules
imported by the saved
modules are recorded as dependencies in the QOF file.
The foreign files loaded into that module are also recorded as
foreign dependencies in the QOF file.
The QOF file produced can be loaded into a development system
load_files/1) or it can be linked using
When multiple modules are saved into a file, loading that file will import only the first of those modules into the module in which the load occurred.