This predicate is intended mainly for testing purposes, because portray-transformations are normally performed implicitly by the term output predicates write/1,2, writeln/1,2, print/1,2, display/1,2, printf/2,3 or write_term/2,3.
This predicate can defined in terms of portray_term/3 as
	portray_goal(Term, TransTerm) :-
	    portray_term(Term, TransTerm, goal).
    
    and is therefore deprecated.
    [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.