Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site decwrl.UUCP
Path: utzoo!watmath!clyde!bonnie!akgua!whuxlm!harpo!decvax!decwrl!dec-rhea!dec-logic!vantreeck
From: vantreeck@logic.DEC
Newsgroups: net.lang.prolog
Subject: A standard syntax for Prolog
Message-ID: <2996@decwrl.UUCP>
Date: Wed, 3-Jul-85 13:01:38 EDT
Article-I.D.: decwrl.2996
Posted: Wed Jul  3 13:01:38 1985
Date-Received: Fri, 5-Jul-85 07:07:03 EDT
Sender: daemon@decwrl.UUCP
Organization: DEC Engineering Network
Lines: 11


     F. Pereira pointed out that it is difficult to convert
between Edinburgh and Micro-Prolog. I think that problems
of conversion between implementations is not due to syntax.
The problem is due to differences in semantics which are
reflected by different syntaxs. Before we can begin
thinking about a standard syntax for Prolog, we need to
standardize the semantics. But implementers can't even agree
on what cut means. 

- George Van Treeck