Article View: comp.arch
Article #22754Re: References for "atypical" compilers.
From: David H. West
Date: Sat, 03 Mar 1990 06:26
Date: Sat, 03 Mar 1990 06:26
25 lines
1548 bytes
1548 bytes
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.
Technical Details
Message-ID:
<1990Mar3.062658.26374@esegue.segue.boston.ma.us>Path:
arc1-ca.pugleaf.net!utzoo!censor!geac!torsqnt!jarvis.csri.toronto.edu!cs.utexas.edu!wuarchive!decwrl!crltrx!decvax!ima!esegue!compilers-senderReferences:
<1990Feb28.051817.5412@esegue.segue.boston.ma.us>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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