perry@inteloa.intel.com (Perry The Cynic) (06/02/87)
Hello, everybody!
I am looking for information (books, papers etc.) on prolog *implementations*.
I am specially interested in the following:
-- What are the prevailing implementation approaches (fundamental ideas of
implementations)?
-- What optimizations do Prolog implementations apply (e.g., tail recursion
eliminination), how do they manage their resources (e.g. garbage
collection)?
-- What ideas are behind Prolog *compilers* (such as Turbo Prolog), and what
are the inherent limits of such approaches?
Are there any overviews?
Thanks for your help
------------------------------------------------------------------------
<< Perry The Cynic >> =>> perry@inteloa.intel.com <<=
...!tektronix!ogcvax!omepd!inteloa!perry
(Peter Kiehtreiber) ...!verdix!omepd!inteloa!perryyorick@kbsc.UUCP (Yorick Phoenix) (06/15/87)
In article <757@omepd> perry@inteloa.intel.com (Perry The Cynic) writes: > >I am looking for information (books, papers etc.) on prolog *implementations*. Try:- Implementations of PROLOG, edited by J. A. Campbell. John Wiley & Sons Library of Congess Card No: 83-26578 ISBN 0-85312-675-5 Yorick -- +------------------------------------------+ The Knowledge-Based Systems Center | yorick@kbsc.UUCP | 58 Northside, Clapham Common | ..mcvax!ukc!{idec,hrc63}!kbsc!yorick | LONDON SW4 9RZ England +------------------------------------------+ Voice: +44 1 350 1622
elvis@dutesta.UUCP (h) (06/26/87)
Hi,
I've read your question about prolog implementations. I've also read a reply
on the news that you should buy Campbells book on prolog implementations.
You can do that, but the book, althoug quite recent is more or less out of date.
At the moment i am writing a report on Prolog implementations for my study;
i am a student of the Technical University Delft (Holland).
What the book doesn't cover at all are the theoretic advances being made
by David Warren (formerly U. of Edinburgh now SRI).
He's made a theoretical model of a Prolog machine, nowadays called the
WAM (Warren Abstract Machine), and it has become the de facto standard
for Prolog implementations.
Sadly enough there is -as far as i know- *no* good book on prolog
implementations. I get my information by searching in scientific publications.
I think that what you need is my report, once it's finished. Although i am
not yet too confident about the quality of my report, at the very least
it will contain an overview of quite a lot of literature references.
Interested? Let me know. Not interested? Please let me know as well,
cause i've tried to reply by E-mail, but i got my message back; somehow
mipos3 didn't know omedp. Neither do i. I just want to know whether
this message reaches you at all.
greetings,
Hans Kinwel
Dutesta!elvis
PS. This is the address i replied to; maybe you understand what went
wrong.
"ames!oliveb!intelca!mipos3!omepd!perry"