[ 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