.qlf
.
The basename of the Quick Load File is the same as the input file.
If the file contains‘:- consult(+File)
’,‘:-
[+File]
’or‘:- load_files(+File,
[qcompile(part), ...])
’statements, the referred files are
compiled into the same .qlf
file. Other directives will be
stored in the
.qlf
file and executed in the same fashion as when loading
the
.pl
file.
For term_expansion/2, the same rules as described in section 2.11 apply.
Conditional execution or optimisation may test the predicate compiling/0.
Source references (source_file/2) in the Quick Load File refer to the Prolog source file from which the compiled code originates.