Re: References for "atypical" compilers. (David H. West)
3 Mar 90 00:54:58 GMT

          From comp.compilers

Related articles
References for "atypical" compilers. (1990-02-26)
Re: References for "atypical" compilers. unknown (1990-02-27)
Re: References for "atypical" compilers. (1990-03-03)
| List of all articles for this month |

From: (David H. West)
Newsgroups: comp.arch,comp.compilers
Date: 3 Mar 90 00:54:58 GMT
References: <>
From: (David H. West)
Followup-To: comp.arch
Organization: The Forgotten Legions of ... um ... er ...
Keywords: prolog

In article <> 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

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.