:- include(+Files). ISO
where Files is a file name or a list of file names,
instructs the processor to literally embed the Prolog clauses and
directives in Files into the file being loaded. This
means that the effect of the
include directive is as
include directive itself were being replaced by the text in
the Files. Including some files is thus different from
loading them in several respects:
source_file/2; see ref-lps-apf.
end_of_fileare seen by term expansions for source files, but not for included files.
SICStus Prolog uses the included file name (as opposed to the embedding file name) only in source-linked debugging and error reporting.