Include Declarations

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:

SICStus Prolog uses the included file name (as opposed to the embedding file name) only in source-linked debugging and error reporting.

Send feedback on this subject.