Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!gem.mps.ohio-state.edu!ginosko!uunet!mcsun!hafro!isgate!krafla!kma
From: kma@rhi.hi.is (Kurt M Alonso)
Newsgroups: comp.lang.prolog
Subject: Prolog Implementations
Message-ID: <1146@krafla.rhi.hi.is>
Date: 25 Sep 89 13:03:15 GMT
Organization: University of Iceland
Lines: 19





I'm actually working on a Prolog compiler comprehending only the basic
resolution mechanism. But my problem is that the local library isn't
very complete when it comes to this subject, so I would really appreciate
if somebody could give me references to the subject. As a relatively 
newcomer to Prolog, I think that I'll center my work around the Warren model
and the WAM. 

I think that the best thing to do is that you E-mail me, and would post
an extract to the net.

Thanks in advance.



                      KMA@RHI.HI.IS