Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84 +MMDF+MULTI+2.11; site icdoc.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!icdoc!fgm
From: fgm@icdoc.UUCP (Frank McCabe)
Newsgroups: net.lang.prolog
Subject: Re: A standard syntax for Prolog
Message-ID: <227@ivax.icdoc.UUCP>
Date: Mon, 8-Jul-85 13:51:54 EDT
Article-I.D.: ivax.227
Posted: Mon Jul  8 13:51:54 1985
Date-Received: Thu, 11-Jul-85 06:17:28 EDT
References: <2996@decwrl.UUCP>
Reply-To: fgm@icdoc.UUCP (Frank McCabe)
Organization: Dept. of Computing, Imperial College, London, UK.
Lines: 9
Xpath: icdoc ivax


The standard micro-PROLOG system includes a package which 'translates' between
the 'standard' (quotes intentional) edinburgh syntax and micro-PROLOG syntax.
This doesn't do a particularly good job on standard micro-PROLOG although the 
systems on sigma-PROLOG and MacPROLOG do a great deal better.

The problems over semantics are very hard to solve; however not even Edinburgh
PROLOG systems agree over how to implement cut!  (For proof of this see C.D.Moss's 
article on the differences between cur on various systems).