Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version nyu B notes v1.5 12/10/84; site acf4.UUCP
Path: utzoo!watmath!clyde!cbosgd!ihnp4!mhuxn!mhuxr!ulysses!allegra!mit-eddie!genrad!panda!talcott!harvard!seismo!cmcl2!acf4!tihor
From: tihor@acf4.UUCP (Stephen Tihor)
Newsgroups: net.lang
Subject: Re: ANSI Basic
Message-ID: <840003@acf4.UUCP>
Date: Wed, 13-Mar-85 23:26:00 EST
Article-I.D.: acf4.840003
Posted: Wed Mar 13 23:26:00 1985
Date-Received: Sat, 16-Mar-85 05:38:59 EST
References: <1385@orca.UUCP>
Organization: New York University
Lines: 7


				Recent proof was provided by the ADA/ED
				interpreter in Prolog yet.  

Just a technical correction but the NYU ADA/Ed system was originally implemented
in SETL a very high level algorithmic language, not a logic language.  Still not
exactly a speed demon.