Prolog Implementations

Article View: comp.lang.prolog

Article #344

#344

From: Kurt M Alonso
Date: Mon, 25 Sep 1989 13:03

19 lines
906 bytes




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

Technical Details

Message-ID: <1146@krafla.rhi.hi.is>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!gem.mps.ohio-state.edu!ginosko!uunet!mcsun!hafro!isgate!krafla!kma

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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