protocol
Term and goal expansion protocol.
Paulo Moura
1.0
2013/8/19
static, built_in
(no dependencies on other files)
Defines a goal expansion. Called recursively until a fixed point is reached on goals found while compiling a source file (including clause goals, goal meta-arguments of standard meta-predicates, initialization goals, and conditional compilation goals).
static
goal_expansion(Goal,ExpandedGoal)
goal_expansion(+callable,-callable) – zero_or_one
Defines a term expansion. Called until it succeeds on all terms read while compiling a source file except those skipped by using the conditional compilation directives.
static
term_expansion(Term,ExpandedTerms)
term_expansion(+term,-term) – zero_or_one
term_expansion(+term,-list(term)) – zero_or_one
(none)
(none)