It is possible to pre-compile files that you use frequently so that they
can be rapidly loaded whenever needed. See sap-srs-bas-cld for information
on how to create such files. The standard naming convention is that the
compiled file corresponding to a source file called
If you use this convention, then the command
| ?- [myfile].
is appropriate: it loads either
myfile.qof, using the more
recent of the two if they both exist. Please note: you should not also have a
file called just
myfile, without any extension, since this will take
precedence over the
.pl and the
If you have several files to load, then you can use, for example:
| ?- [file1,file2,file3].
That is, a list of files typed as a goal is a command to load those files.