compile/1compile(+Files)
Compiles the specified Prolog source file(s) into memory.
A file specification or a list of file specifications; extensions optional.
This predicate is defined as if by:
compile(Files) :-
load_files(Files, [load_type(source),compilation_mode(compile)]).
See load_files/[2,3].