faustus@ucbvax.UUCP (05/19/84)
I'd like to see some discussion of Concurrent Prolog, and what, if any, work on it is being done by anybody other than the ICOT people. I am especially interested in finding out about Shapiro's Concurrent Prolog machine, the Bagel. Are there any simulations of this machine running, and have any reasonably descriptive papers on it been published? Thanks, Wayne Christopher ucbvax!faustus
mark@umcp-cs.UUCP (05/20/84)
The University of Maryland has a concurrent problem-solving language project up and running. The project is called PRISM, and it runs on the Maryland multi-processor ZMOB. (Actually it only runs on the simulated ZMOB at the moment because it does not yet fit in the real ZMOB's memory...) Contact madhur@maryland for more information. -- Spoken: Mark Weiser ARPA: mark@maryland CSNet: mark@umcp-cs UUCP: {seismo,allegra}!umcp-cs!mark
michaelw@elecvax.SUN (Michael Joseph Wise) (05/21/84)
In Jan of this year I wrote a Department of Computer Science Report (8403) entitled "Concurrent Prolog on a Multiprocessor: A critique of Concurrent Prolog and Comparison with EPILOG", which may be of interest to prolog news- group readers. Unfortunately, due to a shortage of funds the editor of our DCS Reports series tells me that copies of the report will cost $Aust 3.50. Enqiries about the report can be sent to me at: ..decvax!mulga!michaelw:elecvax or, via snail mail to: Michael Wise, Department of Computer Science, University of New South Wales, P.O. Box 1, Kensington, N.S.W. 2033, AUSTRALIA. Cheques should be made out to School of Electrical Engineering, UNSW. Michael Wise
MichaelW%Ucb-Vax@elecvax.UUCP (05/21/84)
In Jan of this year I wrote a Department of Computer Science Report (8403) entitled "Concurrent Prolog on a Multiprocessor: A critique of Concurrent Prolog and Comparison with EPILOG", which may be of interest to readers. Unfortunately, due to a shortage of funds the editor of our DCS Reports series tells me that copies of the report will cost $Aust 3.50. Enqiries about the report can be sent to me at: Michael Wise, Department of Computer Science, University of New South Wales, P.O. Box 1, Kensington, N.S.W. 2033, AUSTRALIA. ..decvax!mulga!michaelw:elecvax [Cheques should be made out to School of Electrical Engineering, UNSW.] -- Michael Wise
mats-c@ttds.UUCP (05/28/84)
Yes Shapiros Bagel machine is running under LM-Prolog.
2550002553%essex@ucl-cs.arpa (06/01/84)
From: Spacek L (on SXKL10 DEC-10) <2550002553%essex@ucl-cs.arpa> Here at Essex University we have our own version of Concurrent Prolog. It makes use of both AND and OR parallelism and runs under a simulator written in Lisp.
joe@osav01.DEC (KAZUKI JOE, OSA/OS2 JAPAN-DEC/SWS) (03/31/86)
I'm looking for ConCurrent prolog. I want its source. Does anyone know where it is? If know, would you send me a mail directly? return : ...!DECWRL!DEC-RHEA!DEC-OSAV01!JOE (OSAV01 ==> DECnet node address is 58.200) thanks. Kazuki Joe.
toba@tkov58.DEC (Toshiya Toba, DEC-Japan SWS/TK2/AI-group) (04/01/86)
Concurrent Prolog are define in Ehud Y. Shapiro A Subset of Concurrent Prolog and Its Interpreter ICOT TR-003 (Jan. 1983) In this article Concurrent Interpreter (written in DEC-10 Prolog) and few sample programs. -Toshiya Toba