Chapter 6  The Compiler

• Summary
• Compiler Invocation
  • Source Files
  • Main Compiler Options
• Source Structure
  • Clauses and Predicates
  • Compilation and Modules
  • Incrementality
• Directives
  • Modules and Declarations
  • Conditional Compilation
  • Include Directives
  • Compiler Pragmas
• Precompiled (ECO) Files
  • Making Precompiled Files
  • Restrictions
  • Loading Precompiled Files
  • Using the Compiler with a Makefile
• Special Compiler Features
  • Compiling Non-Textual Source
  • Mode Declarations
  • Inlining
  • Clause Expansion
• Writing Efficient Code
• Implementation Notes