Compiles the specified Prolog source file(s) into memory.
.plextensions may be omitted in file specifications.
Reads Prolog clauses from the specified file or files
and adds them to the Prolog database, after first deleting any
previous versions of the predicates they define. Clauses for a single
predicate must all be in the same file unless that predicate is
declared to be
If there are any directives in the file being loaded, that
is, any terms with principal functor
these are executed as they are encountered.
compile/1 is called from an embedded command in a file being compiled
qpc, the specified files are compiled from source into QOF.
If desired, clauses and directives can be transformed as they are
loaded. This is done by providing a definition for
compile/1 is called in a runtime system, all predicates are loaded as
dynamic predicates. The reason for this is that the compiler is not available
in runtime systems.
This predicate is defined as if by:
compile(Files) :- load(Files, [load_type(compile)]).
For further details on loading files, see ref-lod.
Same as for