Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!hellgate.utah.edu!cs.utexas.edu!sun-barr!apple!fox!portal!cup.portal.com!pgl
From: pgl@cup.portal.com (Peter G Ludemann)
Newsgroups: comp.lang.prolog
Subject: Re: More fun with WG17
Message-ID: <24257@cup.portal.com>
Date: 20 Nov 89 05:34:43 GMT
References: <2609@munnari.oz.au> <696@sce.carleton.ca>
  <2643@munnari.oz.au> <1359@gould.doc.ic.ac.uk> <2744@munnari.oz.au>
Organization: The Portal System (TM)
Lines: 14

Two questions to Richard in OZ:

Last time I checked -
	- blanks are not significant in ISO but they are
	  signficant in "Edinburgh" [for example, to determine
	  the meaning of comma in not (a,b) and not(a,b)]
	- the reference grammars (C&M, Quintus, BSI) all
	  are ambiguous (at least, I couldn't figure out a
	  way to make them LR(k) --- which is a pretty good test
	  of ambiguity, I think)

Comments?

- peter ludemann   --- my opinions are my own responsibility ---