[ Term I/O | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
portray_goal(+Term, ?TransTerm)
Apply the goal portray (write macro) transformation to Term
- +Term
- A callable term.
- ?TransTerm
- A variable or callable term.
Description
Applies the portray-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 4]: X#>Y, delayed_goals([G]), portray_goal(G, PG)@fd.
X = X{[-9999999..10000000]}
Y = Y{[-10000000..9999999]}
G = gec(X{[-9999999..10000000]}, -1, Y{[-10000000..9999999]}, -1)
PG = X{[-9999999..10000000]} - Y{[-10000000..9999999]}#>=1
Delayed goals:
X{[-9999999..10000000]} - Y{[-10000000..9999999]}#>=1
yes.
See Also
expand_goal / 2, portray / 3