SWI-Prolog -- compile_aux

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

Availability:built-in

compile_aux_clauses(+Clauses)

Compile clauses on behalf of goal_expansion/2. This predicate compiles the argument clauses into static predicates, associating the predicates with the current file but avoids changing the notion of current predicate and therefore discontiguous warnings.

Note that in some cases multiple expansions of similar goals can share the same compiled auxiliary predicate. In such cases, the implementation of goal_expansion/2 can use predicate_property/2 using the property defined to test whether the predicate is already defined in the current context.