Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!bloom-beacon!oberon!sdcrdcf!trwrb!trwspf!thomsen
From: thomsen@trwspf.TRW.COM (Mark Thomsen)
Newsgroups: comp.lang.prolog
Subject: Looking For Prolog Machines
Message-ID: <454@trwspf.TRW.COM>
Date: Mon, 5-Oct-87 22:53:14 EDT
Article-I.D.: trwspf.454
Posted: Mon Oct  5 22:53:14 1987
Date-Received: Fri, 9-Oct-87 04:26:35 EDT
Reply-To: thomsen@trwspf.UUCP (Mark Thomsen)
Distribution: world
Organization: TRW - Data Systems Lab., Redondo Beach, CA
Lines: 23


Help me on a search if you can.

In our laboratory we have considerable interest in running things quickly, and
have developed and bought a number of fast non-general processors for
implementing certain functions or languages quickly.  We are preparing to work
with Prolog for some embedded expert and deductive processing functions, and
I am not familiar with what can be purchased to run Prolog programs fast.  If
left in our current state of ignorance, we will probably buy Modula-Prolog,
put it on MC68020's (where we have an excellent Modula-2 compiler), and do our
own speed enhancements.

What is out there that runs Prolog fast?  I have heard a little about the ICOT
effort on PSI, but have not technical article or description.  I have also seen
articles in the past on extracting concurrency, Concurrent Prolog, and the
like -- are there concurrent Prolog machines?

I would like any references or descriptions on Prolog machines that you guys
know of.  I will submit a summary of received data in a few weeks.  Thanks!



                                       Mark R. Thomsen