[m-dev.] from [mercury-users] Re: Question regarding determinism

[Thomas Charles CONWAY]

Peter Schachte, you write:
> So you're suggesting that parentheses introduce a new unary goal
> constructor, like \+, called, say, scope/1, so a goal `a, b' would be
> read as ','(a,b), while `(a,b)' would be read as scope(','(a,b))?
> 
> Doesn't sound real nice to me.
> 

We already have such a construct (which as you observe, isn't really
nice):
	some [] ( a, b )

:-)

Thomas
-- 
Thomas Conway <conway at cs.mu.oz.au>
Nail here [] for new monitor.  )O+