Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!mcvax!ukc!its63b!csrdi
From: csrdi@its63b.ed.ac.uk (ECTU68 R Innis CS)
Newsgroups: comp.lang.prolog
Subject: Re: How do you like Turbo-Prolog?
Message-ID: <316@its63b.ed.ac.uk>
Date: Mon, 9-Mar-87 09:40:37 EST
Article-I.D.: its63b.316
Posted: Mon Mar  9 09:40:37 1987
Date-Received: Tue, 10-Mar-87 18:39:04 EST
References: <426@thumper.UUCP> <7000002@iaoobelix.UUCP> <1973@cit-vax.Caltech.Edu> <1974@cit-vax.Caltech.Edu>
Reply-To: csrdi@its63b.ed.ac.uk (Rick Innis, CS3)
Organization: Comp. Sci., University of Edinburgh, Scotland.
Lines: 14
Keywords: Edinburgh Syntax, Prolog, Turbo
Summary: If it's typed, it isn't Prolog


Maybe I'm just spoiled rotten from living where Prolog was first
implemented, but having used three generations of Prolog interpreters I
honestly can't say that Turbo is what I think of as Prolog. When I think
Prolog, I think 'Edinburgh Syntax' - which is, after all, the de facto
standard. The notion of type checking, call it what you will, just
doesn't seeem to me to be part of Prolog.

The article forwarded by Mike Newton seem to ascribe some of these 
modifications to  Fernando Pereira. If he was reponsible for these, I
must admit to some surprise since he was involved in the early
implementations of DEC-10 Prolog, and really should have known better....

	Rick Innis (csrdi@its63b.uucp || rick@uk.ac.edinburgh)