[ Predicate Database and Compiler | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

expand_goal(+Term, ?TransTerm)

Apply the inline transformation to Term
+Term
A callable term.
?TransTerm
A variable or callable term.

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.

Fail Conditions

None.

Resatisfiable

No.

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