Implementation Notes

## 6.8 Implementation Notes

The ECLiPSe compiler is actually contained in the eclipse library lib(ecl_compiler) which relies on a number of auxiliary modules. It uses lib(source_processor) to read programs, and produces abstract machine code that is assembled using lib(asm).

The built-in predicate als/1 or asm:wam/1 lists the abstract code of the given predicate and it can thus be used by experts to check if the predicate was compiled as expected.