:- lib(fcompile).fcompile(+File) can then be used to generate an object file from an ECLiPSe source file. The object file has the same base name as the source file File, but with the suffix .eco attached.
:- include(File).it will generate the object code for the file(s) in File in place of the directive. The effect is as if the actual source code for file(s) was written at the point of the include directive. Note that this can have a different semantics from recursively compiling files using the compile directive, because any new module in a recursively compiled file ends with the end of that file. With include, any new modules defined in that file will not end with the file. Thus, a compile directive should not be changed to an include directive if the target file contains definitions for a separate module.
the no_macro_transformation/1 wrapper prevents this instance of foo/1 from being transformed when the directive is generated by fcompile. Note that this is only needed if all terms are transformed, and not for goals or clause transformation.:- local macro(no_marco_transformation(foo/1), trans_foo/2, []).
2^34
instead of 17179869184).