gooley@uicsl.UUCP (03/11/86)
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