[m-rev.] for review: atoms in the debugger

[Fergus Henderson]

On 02-Jan-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 02-Jan-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > Ah, sorry, I realize now that I misunderstood what you were using "atom"
> > to refer to -- you're talking about browsing calls at call/exit/redo/fail
> > ports.
> 
> And all other ports.

What gets browsed at the other ports?

> And browsing I/O action atoms in the declarative debugger
> (which is what started me off).

Well, I/O actions are just calls, aren't they?

> > Maybe it's best to talk about browsing calls, rather than
> > printing atoms.
> 
> Browsing a "call" at an exit port and having it show even the output arguments
> would be confusing.

Perhaps, but IMHO it would be less confusing than using the term "atom"
(which had me completely confused).

Another alternative would be to talk about "browsing goals",
or perhaps "browsing subgoals".

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------