Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!dali.cs.montana.edu!uakari.primate.wisc.edu!samsung!cs.utexas.edu!uunet!mnemosyne.cs.du.edu!isis.cs.du.edu!jwoehr
From: jwoehr@isis.cs.du.edu (Jack J. Woehr)
Newsgroups: comp.lang.prolog
Subject: Re: WAM / Silicon Book Recommendations?
Summary: WAM bam, thanx Hassan!
Keywords: warren,abstract,machine,logic,design,silicon
Message-ID: <1991May2.042020.2672@mnemosyne.cs.du.edu>
Date: 2 May 91 04:20:20 GMT
References: <1991Apr25.044927.24023@mnemosyne.cs.du.edu> <1991Apr26.090956.18799@prl.dec.com> <1991Apr29.165605.10350@prl.dec.com>
Sender: usenet@mnemosyne.cs.du.edu (netnews admin account)
Reply-To: jwoehr@isis.UUCP (Jack J. Woehr)
Organization: Nyx, Public Access Unix (sponsored by U. of Denver Math/CS dept.)
Lines: 45

In article <1991Apr29.165605.10350@prl.dec.com> hassan@prl.dec.com (Hassan Ait-Kaci) writes:

>> Warren's Abstract Machine: A Tutorial Reconstruction
>> Hassan Ait-Kaci
>> MIT Press, Cambridge, MA

	Hassan ...

	Thank you and many others for their replies to my query.

	Your book was mentioned by nearly all respondents. In addition,
the following responses were typical:
-------------------------------------------------------------------------
From: beaumont@compsci.bristol.ac.uk (Tony Beaumont)

Try:

"Memory performance of Prolog Architectures" by Evan Tick
Published by Kluwer Academic Publishers, 1988.

-----------

From: jackg@capella.ece.ucsb.edu (Jack Greenbaum)

Haarsat, A. and Ginosar, R., "CARMEL-2: A Second Generation VLSI
Architecture for Flat Concurrent Prolog", New Generation Computing, July
1990.

Houri, A. and Shapiro, E. "A Sequential Abstract Machine for Flat
Concurrent Prolog", J. Logic Programming 1989:7:85-123

There is some older work on running WAM in micro-code on VAXen and in
silicon on special machines. Look in the proceedings of the International
Conference on Logic Programming, like around 1986.
-----------------------------------------------------------------------------

So, Hassan I am ordering your book and hope to use it as a guide to 
implementing a subset of the WAM instructions on a little toy I have
handy ... :-)

--
# ..!apple!dunike!nyx!koscej!jax       # "Therefore, the L-RD G-d  #
# ..!hplabs!hp-lsd!oldcolo!jax         #   sent him FORTH ..."     #
# {apple,hplabs,pacbell,ucb}!well!jax  #  - Genesis 3:23           #
# JAX on GEnie SYSOP RCFB 303-278-0364 # Member ANS Forth X3J14 TC #