Re: Ann: SWI-Prolog 7.1.0

On 28/11/2013, at 4:12 AM, Ulrich Neumerkel wrote:
I accept all Ulrich's comments.  Specifically this one.

>> The next token rule you mention would reduce the need for round
> brackets even further, but there are still situations left, where they
> are needed.  Like ( X = (>) -> y ; n ).
> 
The point at issue is that if you have
 ( X = foo -> y ; n )
and you hadn't parenthesised it because foo wasn't an operator,
and it became one and broke your code, having a quoted-atoms-are-
not-operators rule would not help at all, because you would not
have quoted the atom either.