Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!ll-xn!cit-vax!newton
From: newton@cit-vax.Caltech.Edu (Mike Newton)
Newsgroups: comp.lang.prolog
Subject: Re: How do you like Turbo-Prolog?
Message-ID: <1998@cit-vax.Caltech.Edu>
Date: Tue, 10-Mar-87 17:27:23 EST
Article-I.D.: cit-vax.1998
Posted: Tue Mar 10 17:27:23 1987
Date-Received: Wed, 11-Mar-87 04:06:47 EST
References: <426@thumper.UUCP> <7000002@iaoobelix.UUCP> <1973@cit-vax.Caltech.Edu> <1974@cit-vax.Caltech.Edu> <316@its63b.ed.ac.uk>
Reply-To: newton@cit-vax.UUCP (Mike Newton)
Organization: California Institute of Technology
Lines: 8
Keywords: Edinburgh Syntax, Prolog, Turbo


>>> Also, and most seriously (thanks to Fernando Pereira) there  are two more
>>> *MAJOR* problems:  the logical variable doesn't really
>>> exist: it is a runtime error to do variable-to-variable unifications

By "thanks to Fernando Pereira" I meant "thanks to him for pointing
this out to me".  I believe he was as upset as I was about the changes.

- mike newton