[mod.ai] VM Prolog

newton@VLSI.CALTECH.EDU (Mike Newton) (08/02/86)

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