Working with files : Export model declarations

Export model declarations

To save the model in a Prolog-format text file, use the "Export" command on the "File" menu, and select the "Model declarations" item. The default file extension is *.pl (Prolog), but you can enter a file name with a *.sml extension if you wish. This format contains all the information necessary to define the model, and it can be used instead of the usual format. The advantage is that the files are much smaller than usual, and, if you are familiar with the Prolog language, you can edit the file yourself or write programs to reason with it. This is the file format used in versions of Simile prior to v3.0.

You can open models saved in this format, using the usual "Open" command on the "File" menu.

In: Contents >> Working with files