Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!spool.mu.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: WAM / Silicon Book Recommendations?
Keywords: warren, abstract, machine, processor
Message-ID: <1991Apr25.044927.24023@mnemosyne.cs.du.edu>
Date: 25 Apr 91 04:49:27 GMT
Sender: usenet@mnemosyne.cs.du.edu (netnews admin account)
Reply-To: jwoehr@isis.cs.du.edu (Jack J. Woehr)
Distribution: comp
Organization: Nyx, Public Access Unix (sponsored by U. of Denver Math/CS dept.)
Lines: 19

I work in logic design (that silicon stuff, not the academic stuff!).

I'm looking for recommendations on a book or two to read about:

1) The Warren Abstract Machine.

2) Its silicon implementation(s).

The ideal book(s) would allow me to model a Prolog processor whether
or not I entirely grasp all the nuances of implementing Prolog (I don't,
although I have been programming amateurishly in Prolog for five years).
Thank you for any help. Email replies will be summarized for the 'net.

- Jack Woehr
--
# ..!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 #