Next: Initializations, Previous: Is2 Declarations, Up: ref-lod-dcl [Contents][Index]
A directive
:- 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
if the 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.
beginning_of_file
and end_of_file
are
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. See mpg-ref-include.