- Reference manual
- Test conditional compilation directives and translate all input to
if we are in a `false branch' of the conditional compilation. See section 22.214.171.124.
- Call term_expansion/2.
This predicate is first tried in the module that is being compiled and
then in the module
- Call DCG expansion (dcg_translate_rule/2).
- Call expand_goal/2 on each body term that appears in the output of the previous steps.