Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!VLSI.CALTECH.EDU!newton
From: newton@VLSI.CALTECH.EDU (Mike Newton)
Newsgroups: mod.ai
Subject: VM Prolog
Message-ID: <8608021456.AA04152@vlsi.caltech.edu>
Date: Sat, 2-Aug-86 10:56:55 EDT
Article-I.D.: vlsi.8608021456.AA04152
Posted: Sat Aug  2 10:56:55 1986
Date-Received: Mon, 4-Aug-86 07:23:40 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 25
Approved: ailist@sri-ai.arpa


Regarding the recent inquiry about Common Lisp & Prolog under VM:

Though we run VM, one of the Virtual machines is UTS -- Amdahl's port
of System 5.  Under this we run a locally modified version of CProlog
and are quite pleased with the performance.  Warning -- UTS is *NOT*
cheap (but is very nice) !!

Our own Prolog compiler (for VM/CMS) is just nearing completion -- It can 
compile roughly half of itself.  However we do not expect that it will
be ready for release for a while.  It follows Clocksin & Mellish as well
as can be done on an IBM mainframe (EBCDIC-->ASCII conversions and
such).  When released it will be *fast* -- roughly 95 KLips on a 4341, 
and currently around .8 MegaLips on a 3090 (using one processor!).

I believe the IBM prolog (Waterloo) uses a different syntax than is 
commonly used.

Hope this has helped --

- mike

newton@cit-vax.caltech.edu	{ucbvax!cithep,amdahl}!cit-vax!newton
Caltech 256-80			818-356-6771 (afternoons,nights)
Pasadena CA 91125		Beach Bums Anonymous, Pasadena President