
portray_goal(+Term, ?TransTerm)

   Apply the goal portray (write macro) transformation to Term

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

Type
   Term I/O

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.


Resatisfiable
   No.

Fail Conditions
   None.

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
