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