jwoehr@isis.cs.du.edu (Jack J. Woehr) (04/25/91)
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 #
hassan@prl.dec.com (Hassan Ait-Kaci) (04/26/91)
Warren's Abstract Machine: A Tutorial Reconstruction Hassan Ait-Kaci MIT Press, Cambridge, MA 1991 ISBN 0-262-69246-9 (paper, $17.50) ISBN 0-262-01123-9 (cloth, $30.00) For ordering information, please contact: Bob Prior, editor MIT Press 55 Hayward Street Cambridge, MA 02142 tel: (617) 253-1584 fax: (617) 258-6779 e-m: prior@mitvma.mit.edu
hassan@prl.dec.com (Hassan Ait-Kaci) (04/29/91)
In article <1991Apr26.090956.18799@prl.dec.com>, I gave the following reference: > > Warren's Abstract Machine: A Tutorial Reconstruction > Hassan Ait-Kaci > MIT Press, Cambridge, MA > 1991 > > ISBN 0-262-69246-9 (paper, $17.50) > ISBN 0-262-01123-9 (cloth, $30.00) > > For ordering information, please contact: > > Bob Prior, editor > MIT Press > 55 Hayward Street > Cambridge, MA 02142 > > tel: (617) 253-1584 > fax: (617) 258-6779 > > e-m: prior@mitvma.mit.edu in response to a query by jwoehr@isis.cs.du.edu (Jack J. Woehr) expressed in article <1991Apr25.044927.24023@mnemosyne.cs.du.edu> about introductory material on the WAM (and other things). This prompted many who already had knowledge of my previous PRL Research Report No.5 entitled "The WAM: A (Real) Tutorial" to ask me whether the book differs from the report in any substantial way and whether it is worth getting the book if one already has that report. I take the liberty to post here my generic answer to them and those who may be wondering likewise. The book has essentially the same contents and style as the report. However, many errors, some harder to discern than others, have been corrected. Also, at several points, better explanations are given. Finally, the pseudo-code given in the complete summary of all full WAM instructions and ancillary operations has been recast to account for all the corrected bugs. This was essentially the result of the feedback of a few sharp readers who caught my ill accounts. I am grateful to them as expressed in the following paragraph taken verbatim from the acknowledgement section of the book. As the PRL report was being disseminated, I began receiving feedback from attentive readers. Some of them caught a few serious bugs that remained in that report making some material, as presented there, insidiously incorrect. Naturally, all those mistakes have now been corrected in this monograph, and, where appropriate, mention is made of those who brought to my attention my erroneous account. Nevertheless, I would like to express here my gratitude to those who kindly reported bugs, made insightful comments, gave disturbing counter-examples, or proposed better explanations. They are: Christoph Beierle, Andre Bolle, Damian Chu, William Clocksin, Maarten van Emden, Michael Hanus, Pascal van Hentenryck, Juhani Jaakola, Stott Parker, Fernando Pereira, Frank Pfenning, Dave Raggett, Dean Rosenzweig, David Russinoff, and two anonymous reviewers. All remaining mistakes are to be blamed on my own incompetence and still imprecise understanding. Best regards, -hak
jwoehr@isis.cs.du.edu (Jack J. Woehr) (05/02/91)
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 #
hassan@prl.dec.com (Hassan Ait-Kaci) (05/03/91)
test