
expand_goal(+Term, ?TransTerm)

   Apply the inline transformation to Term

Arguments
   +Term               A callable term.
   ?TransTerm          A variable or callable term.

Type
   Predicate Database and Compiler

Description
    Applies an inline-transformation to Term, if any is visible in the
    caller module. If no transformation is visible, TransTerm is identical
    to Term.


Resatisfiable
   No.

Fail Conditions
   None.

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
   portray / 3, inline / 2
