[comp.lang.prolog] Prolog Implementations

kma@rhi.hi.is (Kurt M Alonso) (09/25/89)

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