Executing Programs

There are two ways of executing a program: a source file may be compiled into a byte-code file, which can then be loaded and executed; or, the source file may be interpreted via consult. The system supports full integration of compiled and interpreted code, so that some predicates of a program may be compiled, while others may be interpreted. However, the unit of compilation or consulting remains the file. The remainder of this section describes each of these procedures in more detail.



Subsections