Prolog compilation?

Article View: net.lang.prolog

Article #565

#565

From: gooley
Date: Mon, 10 Mar 1986 21:27

22 lines
1773 bytes

A reference that keeps appearing in article after article about Prolog is
D. H. D. Warren's "Implementing Prolog -- compiling predicate logic programs"
(D.A.I. Research Reports 39 and 40, Dept. of Artificial Intelligence,
University of Edinburgh, 1977).  Is it just being mentioned as a matter of
form (as the over-rated Mead & Conway VLSI textbook is in its field), or is
it genuinely useful?  (I'm interested in optimizing Prolog but I don't want to
"re-invent the wheel.") I haven't been able to look at a copy: the C.S. dept.
library here (recently described as "the best in the country") discards
all technical reports that nobody marks as immediately useful, the
inter-library loan people tell me that no U. S. library has a copy, and my
letter to Edinburgh has been absorbed by a black hole (wrong address?).

Has some better, more-readily-available book or report on compiling Prolog
been written? Failing that, could someone lend me a copy of the Warren
reports? Many thanks.


Mark Gooley, Computer Systems Group, University of Illinois at Urbana-Champaign

USENET: ...!(seismo; ihnp4; convex; pur-ee)!uiucdcs!uicsl!uicsld!gooley
ARPANET: uicsl!uicsld!gooley@uiuc.ARPA

Technical Details

Message-ID: <6500004@uicsl>

Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxn!ihnp4!inuxc!pur-ee!uiucdcs!uicsl!gooley

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.7.0.10 $; site uicsl
Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxn!ihnp4!inuxc!pur-ee!uiucdcs!uicsl!gooley
From: gooley@uicsl.UUCP
Newsgroups: net.lang.prolog
Subject: Prolog compilation?
Message-ID: <6500004@uicsl>
Date: Mon, 10-Mar-86 16:27:00 EST
Article-I.D.: uicsl.6500004
Posted: Mon Mar 10 16:27:00 1986
Date-Received: Thu, 13-Mar-86 06:46:17 EST
Lines: 22
Nf-ID: #N:uicsl:6500004:000:1186
Nf-From: uicsl.UUCP!gooley    Mar 10 15:27:00 1986