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).