minker@MIMSY.UMD.EDU (Jack Minker) (09/12/86)
[Excerpted from the Prolog digest by Laws@SRI-STRIPE.]
AI and Database Research Laboratory
at the
University of Maryland
Jack Minker - Director
The AI and Database Research Laboratory at the Univer-
sity of Maryland is pleased to announce that a parallel
logic programming system (PRISM) is now operational on the
McMOB multiprocessosor. The system uses up to sixteen pro-
cessors to exploit medium grained parallelism in logic pro-
grams. The underlying ideas behind PRISM appeared in [Eis-
inger et. al., 1982] and [Kasif et. al., 1983].
[...]
If you would like further information on PRISM, please
contact MINKER@MARYLAND or MADHUR@MARYLAND. We would also
be very interested in hearing from people who may have prob-
lems we could run on PRISM.
References:
1. Eisinger, N., Kasif, S., and Minker, J., "Logic Pro-
gramming: A Parallel Approach", in Proceedings of the
First International Logic Programming Conference, Mar-
seilles, France, 1982.
2. Kasif, S., Kohli, M., and Minker, J., "PRISM - A Paral-
lel Inference System for Problem Solving", in IJCAI-83,
Karlsruhe, Germany, 1983.
3. Rieger, C., Bane, j., and Trigg, R., "ZMOB: A Highly
Parallel Multiprocessor", University of Maryland, TR-
911, May 1980