A.26.3 Predicates
All
Application
Manual
Name
Summary
Help
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.
[semidet]expand_macros(+Module,
+TermIn, -TermOut, +PosIn, -PosOut)