Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!usc!wuarchive!uunet!shelby!agate!darkstar!terra.ucsc.edu!kjell
From: kjell@terra.ucsc.edu
Newsgroups: comp.lang.prolog
Subject: Does Prolog have an unambiguous syntax definition?
Message-ID: <12166@darkstar.ucsc.edu>
Date: 11 Feb 91 18:52:57 GMT
Sender: usenet@darkstar.ucsc.edu
Reply-To: kjell@terra.ucsc.edu ()
Organization: University of California, Santa Cruz
Lines: 14

(Sorry if this appeared before, I don't think my last posting made it.)

Is there a document that describes the reader's behaviour when it
sees an ambiguous term?  Here's an example to show what I mean:

:- op(300,fx,#).	% prefix
:- op(500,xf,#). 	% postfix
:- op(400,fx,@).	% prefix

display(@ #).

Will Prolog display @(#) or #(@), and why is one preferred over the other?

--Kjell