SWI-Prolog -- expand

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(macros): Macro expansion
      - Predicates
        
        include_macros/3
        
        expand_macros/5
        
        macro_position/1
- Packages

Availability::- use_module(library(macros)).(can be autoloaded)

[semidet]expand_macros(+Module, +TermIn, -TermOut, +PosIn, -PosOut)

Perform macro expansion on TermIn with layout PosIn to produce TermOut with layout PosOut. The transformation is performed if the current load context module is Module (see prolog_load_context/2).

This predicate is not intended for direct usage.