Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!mcvax!dutrun!dutesta!elvis
From: elvis@dutesta.UUCP (h)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog implementation papers (?)
Message-ID: <627@dutesta.UUCP>
Date: Thu, 25-Jun-87 19:18:35 EDT
Article-I.D.: dutesta.627
Posted: Thu Jun 25 19:18:35 1987
Date-Received: Sat, 27-Jun-87 09:30:47 EDT
References: <757@omepd>
Organization: Delft University of Technology, Netherlands
Lines: 31
Summary: Maybe i can be of help


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"