Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!caip!nike!ucbcad!ucbvax!techunix.BITNET!raan
From: raan@techunix.BITNET (Ran Ever-Hadani)
Newsgroups: net.lang.prolog
Subject: Re: lemmas
Message-ID: <8608171149.AA04883@techunix.bitnet>
Date: Sun, 17-Aug-86 19:39:52 EDT
Article-I.D.: techunix.8608171149.AA04883
Posted: Sun Aug 17 19:39:52 1986
Date-Received: Mon, 18-Aug-86 04:33:57 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: University of California at Berkeley
Lines: 11

Sorry, one name was omitted by mistake from the reference I posted -
That of Shalom Tsur of MCC.  Here is the right reference:

Oded Shmueli, Hana Zfira, Shalom Tzur, Ran Ever-Hadani
"Dynamic Rule Support in Prolog"
Fifth Generation Computer Architectures, J.V. Woods (ed.)
Elsevier Science Publishers B.V. (North-Holland)
IFIC, 1986

-- Ran Ever-Hadani
raan@techunix