Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!lll-crg!mordor!sri-spam!nike!ucbcad!ucbvax!MIMSY.UMD.EDU!minker
From: minker@MIMSY.UMD.EDU (Jack Minker)
Newsgroups: mod.ai
Subject: Parallel Inference System at Maryland
Message-ID: <8609250531.AA05593@ucbvax.Berkeley.EDU>
Date: Thu, 11-Sep-86 17:08:33 EDT
Article-I.D.: ucbvax.8609250531.AA05593
Posted: Thu Sep 11 17:08:33 1986
Date-Received: Thu, 25-Sep-86 05:10:58 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 39
Approved: ailist@sri-stripe.arpa


        [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