jclaude@ecrcvax.UUCP (Jean Claude Syre) (10/23/87)
PROLOG MACHINES: Here we go: below is a (non-exhaustive) list of machines/prototypes/ developments/basic research under way in different places around the world, extracted from my presentation at a Panel on Parallel Inference Machines at IJCAI87, Milano. At ECRC, the Computer Architecture Group (17 people) is working quite a lot on Sequential machines, but is also implementing a Parallel Logic Programming System called PEPSys, on a commercial multiprocessor. For more info contact us at ECRC Arabellastr. 17 D-8000 Munich 81 , BRD. We also would be pleased to get more info on your activities (papers, reports, performance studies, ...) if they deal with these topics, THANKS. WORD is Word Length, KLIPS means the peak performance on Concat or Naive reverse. The Klips is the most fuzzy unit to measure performance of Prolog Systems (between 1 and 2000 assembly instruction of a CISC computer, imagine..., but my opinion is that REAL performance can be estimated at half of the peak performance for Hardware implementations of Prolog, wheras it could be around 1/6th to 1/10th of the peak performance for Software implementations). NAME WORD KLIPS BY REMARKS PSI I 40 25 Icot Inter., stand alone PEK 34 40 U. KOBE PSI I 40 110 Icot Compiled WAM PLM 32 400 U. Berkeley WAM CHI 36 250 NEC C&C ECL, WAM CHI II ? 500? NEC ? (info wanted!) IPP 32 1000 Hitachi ECL, WAM PSI II 40 250 Icot stand alone wks,WAM X1 32 300 Xenologic PLM, SUN co-proc. ICM3 32 530 ECRC WAM, co-proc. ICM4 32 680? ECRC RISC, fast memory KCM 64 650 ECRC WAM, attached proc DLM 38 600? BAe exp. board AI32 40 200? Hitachi co-proc. chip Pegasus 40 240 Mitsubishi RISC chip SM45000 40 ??? Inference AI co-proc MDS ?? 200?? Matra chip set TOSHIBA ? ? 650 Attached Processor OTHERS? CERTAINLY. I APOLOGIZE Current work at ECRC: KCM: Knowledge Crunching Machine (with Siemens, BULL, ICL): 64-bit, tagged architecture. Private memory, two large Data and Code caches Full Prolog/Lisp system, with extras.