documents/userman/umscompiler.tex

49 predicate. In practice it is best to compile modules as a whole, since
70 \item[\biptxtref{compile(\pattern{Source})}{compile/1}{../bips/kernel/compiler/compile-1.html}]
75 \item[\biptxtref{compile(\pattern{Source},~\pattern{Options})}{compile/2}{../bips/kernel/compiler/compile-2.html}]
83 \bipref{compile/1}{../bips/kernel/compiler/compile-1.html}
98 This predicate is used to compile a given term,
102 and so it can be used to compile a procedure which is dynamically
127 To compile a source files solver.ecl, any of the following forms is
131 ?- compile('solver.ecl').
132 ?- compile("solver.ecl").
133 ?- compile("/home/joe/solver.ecl").
134 ?- compile("/home/joe/solver").
135 ?- compile(solver).
272 \bipref{compile/2}{../bips/kernel/compiler/compile-2.html}.
274 For example, to compile a program without debugging support directly into
277 ?- compile(myprogram, [debug:off]).
283 ?- compile(myprogram, [output:eco]).
359 file content is compiled into the module from which \predspec{compile/1,2}
363 i.e., \notation{compile(File, Options)@Module}.  Existing static predicates will
393 if there was any, before starting to compile predicates
397 Instead, the construct \notation{compile(File)@Module} must be used.
598 ?- compile(myprogram, [output:eco]).
694 This predicate can be used as a shorthand for the \predspec{compile} predicate,
712 which is either a source file or a precompiled file, and compile or load it.
741         eclipse -e "compile(\"$<\",[output:eco])"
748         eclipse -e "compile(\"$<\",[output:eco])"
766 interface predicates, which allow one to compile a list of terms.  The compiler
776 \item Module directives are not supported - to compile code into a certain
841 preprocessed and transformed at compile time.  The directive
848 arranges for \predspec{mytranspred/2} to be invoked at compile time for each
869         not nonground(X),    % if X already known at compile time:
870         Result is 2*X.       % do calculation at compile time!
876 For example, if we now compile the following predicate involving
1066 If the compiler can decide about the clause selection at compile time,