SWI-Prolog -- expand_term/2

Documentation
- Reference manual
  - Built-in Predicates
    - Loading Prolog source files
      - Conditional compilation and program transformation
        
        term_expansion/2
        
        expand_term/2
        
        goal_expansion/2
        
        expand_goal/2
        
        compile_aux_clauses/1
        
        dcg_translate_rule/2
        
        var_property/2
        
        Program transformation with source layout info
        
        Conditional compilation
- Packages

ar> is a list, all terms of the list are stored in the database or called (for directives). If Term2