Xref: utzoo comp.arch:14379 comp.compilers:831
Path: utzoo!censor!geac!torsqnt!jarvis.csri.toronto.edu!cs.utexas.edu!wuarchive!decwrl!crltrx!decvax!ima!esegue!compilers-sender
From: dhw@itivax.iti.org (David H. West)
Newsgroups: comp.arch,comp.compilers
Subject: Re: References for "atypical" compilers.
Keywords: prolog
Message-ID: <1990Mar3.062658.26374@esegue.segue.boston.ma.us>
Date: 3 Mar 90 06:26:58 GMT
References: <1990Feb28.051817.5412@esegue.segue.boston.ma.us>
Sender: compilers-sender@esegue.segue.boston.ma.us
Reply-To: dhw@itivax.iti.org (David H. West)
Followup-To: comp.arch
Organization: The Forgotten Legions of ... um ... er ...
Lines: 25
Approved: compilers@esegue.segue.boston.ma.us

In article <1990Feb28.051817.5412@esegue.segue.boston.ma.us>  writes:
|The classic reference for Prolog compiling is:
|
|%A D.H.D. Warren
|%T An abstract Prolog instruction set
|%R Technical Report 309
|%R Artificial Intelligence Center, SRI International
|%D 1983

No, that's a relatively modern reference for Prolog compiling. :-)
The real classic reference (from which the above is a radical
departure) is

Implementing Prolog: Compiling Predicate Logic Programs; vols 1 and 2.
D. H. D. Warren
Edinburgh University Dept. of Artificial Intelligence Research Reports 
Nos. 39 and 40,  May 1977.

hope this helps,

-David West      dhw@iti.org
-- 
Send compilers articles to compilers@esegue.segue.boston.ma.us
{spdcc | ima | lotus}!esegue.  Meta-mail to compilers-request@esegue.
Please send responses to the author of the message, not the poster.