Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!uunet!husc6!cmcl2!rutgers!ucla-cs!zen!ucbvax!hplabs!hplabsb!mohan From: mohan@hplabsb.UUCP (Joseph Mohan) Newsgroups: comp.lang.prolog Subject: Re: Information wanted on the Warren Abstract Machine Message-ID: <54200002@hplabsb.UUCP> Date: Mon, 14-Sep-87 12:44:00 EDT Article-I.D.: hplabsb.54200002 Posted: Mon Sep 14 12:44:00 1987 Date-Received: Sun, 20-Sep-87 03:25:33 EDT References: <975@dutesta.UUCP> Organization: Hewlett-Packard Laboratories - Palo Alto, CA Lines: 27 By popular request, I am forwarding the mail from Paul Eggert giving the full citation. Thanks, Paul (my mailer could not find your host). Also SRI's AI center does have copies of Warren's report (costs $10). Joe ---------------------- From eggert@grand.sm.unisys.com Tue Sep 15 15:52:18 1987 Return-Path: Date: Tue, 15 Sep 87 10:03:50 PDT From: eggert@grand.sm.unisys.com (Paul Eggert) To: hplabs!hplabsb!mohan@hplabs.HP.COM Subject: Re: Information wanted on the Warren Abstract Machine Newsgroups: comp.lang.prolog In-Reply-To: <54200001@hplabsb.UUCP> Organization: Unisys Santa Monica John Gabriel, Tim Lindholm, E. L. Lusk, and R. A Overbeek A tutorial on the Warren Abstract Machine for computational logic Argonne National Laboratory Report ANL-84-84 June 1985 Warren's original SRI report gives the original straight scoop. It's terse but I found it less confusing than the above tutorial. David H. D. Warren An abstract Prolog instruction set SRI Technical Note 309 October 1983