[ 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