[ Predicate Database and Compiler | Reference Manual | Alphabetic Index ]

expand_goal(+Term, -TransTerm)

Apply goal inline expansion to Term
Term
A callable term.
TransTerm
A variable or callable term.

Description

Applies a goal inline expansion to Term, if any is visible in the context module. If no inline/1 or inline/2 declaration is visible, TransTerm is identical to Term.

Normally, goal inline expansion is performed implicitly by the compiler. For certain meta-programming applications (e.g. for writing other compilers) it can be performed explicitly using expand_goal/2. Goal inline expansion is the third transformation which is applied during the compilation process: macro expansion, then clause expansion, then goal inline expansion.

Modes and Determinism

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Examples

    [eclipse 1]: lib(fd).
    yes.

    [eclipse 5]: expand_goal(X#>Y, G).
    X = X
    Y = Y
    G = fd_arith : fd_gec(X, -1, Y, -1, 0)
    yes.

See Also

inline / 1, inline / 2, portray / 3, expand_clause / 2